Skip to content

Actions: github/codeql

Actions

Swift

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
swift.yml
2,361 workflow runs
2,361 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Python: MaD barriers Swift #7056: Pull request #21004 synchronize by yoff
3m 27s yoff:python/mad-barriers
yoff:python/mad-barriers
3m 27s
Java/C++/Go/C#: Share parts of ExternalFlow.qll Swift #7055: Pull request #21011 synchronize by aschackmull
4m 2s aschackmull:mad/shared-externalflow
aschackmull:mad/shared-externalflow
4m 2s
Rust: Distinguish &mut T from &T in type inference Swift #7054: Pull request #20973 synchronize by hvitved
3m 47s hvitved:rust/type-inference-distinguish-mut-ref
hvitved:rust/type-inference-distinguish-mut-ref
3m 47s
C#: Use .NET 10 for building the extractor and running tests. Swift #7053: Pull request #20898 synchronize by michaelnebel
4m 36s michaelnebel:csharp/dotnet10extractor
michaelnebel:csharp/dotnet10extractor
4m 36s
Python: MaD barriers Swift #7052: Pull request #21004 synchronize by yoff
4m 11s yoff:python/mad-barriers
yoff:python/mad-barriers
4m 11s
Java/C++/Go/C#: Share parts of ExternalFlow.qll Swift #7051: Pull request #21011 opened by aschackmull
4m 17s aschackmull:mad/shared-externalflow
aschackmull:mad/shared-externalflow
4m 17s
Rust: Strengthen isNotInstantiationOf uses Swift #7050: Pull request #21010 opened by hvitved
3m 47s hvitved:rust/type-inference-fix-blowup
hvitved:rust/type-inference-fix-blowup
3m 47s
Java: Support for MaD barriers and barrier guards. Swift #7049: Pull request #20986 synchronize by aschackmull
3m 50s aschackmull:java/mad-barriers
aschackmull:java/mad-barriers
3m 50s
C#: Update Roslyn, MsBuild and Binlog extractor dependencies. Swift #7048: Pull request #20996 synchronize by michaelnebel
4m 26s michaelnebel:csharp/updateroslyn
michaelnebel:csharp/updateroslyn
4m 26s
Swift: Update to Swift 6.2.2 Swift #7047: Pull request #21008 opened by jketema
3m 52s jketema:swift-6.2.2
jketema:swift-6.2.2
3m 52s
Java: Support for MaD barriers and barrier guards. Swift #7046: Pull request #20986 synchronize by aschackmull
4m 11s aschackmull:java/mad-barriers
aschackmull:java/mad-barriers
4m 11s
Guards: Generalise ValidationWrapper to support GuardValue-based BarrierGuards Swift #7045: Pull request #21001 synchronize by aschackmull
4m 29s aschackmull:guards/generalise-validationwrapper
aschackmull:guards/generalise-validationwrapper
4m 29s
Guards: Generalise ValidationWrapper to support GuardValue-based BarrierGuards Swift #7044: Pull request #21001 synchronize by aschackmull
4m 0s aschackmull:guards/generalise-validationwrapper
aschackmull:guards/generalise-validationwrapper
4m 0s
Swift: Update tracer configuration Swift #7043: Pull request #21005 opened by jketema
4m 24s jketema:swift-filter-arg
jketema:swift-filter-arg
4m 24s
Java: Support for MaD barriers and barrier guards. Swift #7042: Pull request #20986 synchronize by aschackmull
4m 8s aschackmull:java/mad-barriers
aschackmull:java/mad-barriers
4m 8s
Java: Support for MaD barriers and barrier guards. Swift #7041: Pull request #20986 synchronize by aschackmull
4m 10s aschackmull:java/mad-barriers
aschackmull:java/mad-barriers
4m 10s
Guards: Generalise ValidationWrapper to support GuardValue-based BarrierGuards Swift #7040: Pull request #21001 synchronize by aschackmull
4m 0s aschackmull:guards/generalise-validationwrapper
aschackmull:guards/generalise-validationwrapper
4m 0s
Python: MaD barriers Swift #7039: Pull request #21004 opened by yoff
4m 0s yoff:python/mad-barriers
yoff:python/mad-barriers
4m 0s
Guards: Generalise ValidationWrapper to support GuardValue-based BarrierGuards Swift #7038: Pull request #21001 opened by aschackmull
4m 9s aschackmull:guards/generalise-validationwrapper
aschackmull:guards/generalise-validationwrapper
4m 9s
Java: Support for MaD barriers and barrier guards. Swift #7037: Pull request #20986 synchronize by aschackmull
4m 36s aschackmull:java/mad-barriers
aschackmull:java/mad-barriers
4m 36s
Java: Support for MaD barriers and barrier guards. Swift #7036: Pull request #20986 synchronize by aschackmull
4m 5s aschackmull:java/mad-barriers
aschackmull:java/mad-barriers
4m 5s
Java: Support for MaD barriers and barrier guards. Swift #7035: Pull request #20986 synchronize by aschackmull
4m 2s aschackmull:java/mad-barriers
aschackmull:java/mad-barriers
4m 2s
Java: Support for MaD barriers and barrier guards. Swift #7034: Pull request #20986 synchronize by aschackmull
4m 18s aschackmull:java/mad-barriers
aschackmull:java/mad-barriers
4m 18s
Java: Support for MaD barriers and barrier guards. Swift #7033: Pull request #20986 synchronize by aschackmull
4m 11s aschackmull:java/mad-barriers
aschackmull:java/mad-barriers
4m 11s
Java: Support for MaD barriers and barrier guards. Swift #7032: Pull request #20986 synchronize by aschackmull
4m 6s aschackmull:java/mad-barriers
aschackmull:java/mad-barriers
4m 6s