Skip to content

Actions: github/codeql

Actions

Swift

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Rust: Restrict type propagation into arguments Swift #6857: Pull request #20683 synchronize by hvitved
4m 20s hvitved:rust/type-inference-arg-target-typed
hvitved:rust/type-inference-arg-target-typed
4m 20s
Swift: Make extractor compile with Swift 6.2 Swift #6856: Pull request #20446 synchronize by jketema
4m 32s jketema/swift-6.2
jketema/swift-6.2
4m 32s
Swift: Make extractor compile with Swift 6.2 Swift #6855: Pull request #20446 synchronize by jketema
4m 12s jketema/swift-6.2
jketema/swift-6.2
4m 12s
Swift: Make extractor compile with Swift 6.2 Swift #6854: Pull request #20446 synchronize by jketema
4m 34s jketema/swift-6.2
jketema/swift-6.2
4m 34s
Swift: Make extractor compile with Swift 6.2 Swift #6853: Pull request #20446 synchronize by jketema
4m 14s jketema/swift-6.2
jketema/swift-6.2
4m 14s
Rust: Compute incompatible blanket implementations Swift #6852: Pull request #20612 synchronize by hvitved
4m 11s hvitved:rust/type-inference-blanket-non-satisfaction
hvitved:rust/type-inference-blanket-non-satisfaction
4m 11s
Rust: Refactor using shared constraint satisfaction Swift #6851: Pull request #20682 synchronize by paldepind
4m 21s paldepind:rust/ti-condition
paldepind:rust/ti-condition
4m 21s
Rust: Refactor using shared constraint satisfaction Swift #6850: Pull request #20682 synchronize by paldepind
3m 45s paldepind:rust/ti-condition
paldepind:rust/ti-condition
3m 45s
Rust: Restrict type propagation into arguments Swift #6849: Pull request #20683 opened by hvitved
7m 1s hvitved:rust/type-inference-arg-target-typed
hvitved:rust/type-inference-arg-target-typed
7m 1s
Rust: Refactor using shared constraint satisfaction Swift #6848: Pull request #20682 opened by paldepind
3m 42s paldepind:rust/ti-condition
paldepind:rust/ti-condition
3m 42s
Bazel: upgrade rules_rust Swift #6847: Pull request #20679 reopened by redsun82
4m 8s redsun82/fix-rust-vendor-check
redsun82/fix-rust-vendor-check
4m 8s
Swift: Handle -emit-module in the tracer config Swift #6846: Pull request #20681 opened by jketema
4m 20s jketema:swift-emit-module
jketema:swift-emit-module
4m 20s
Rust: Compute incompatible blanket implementations Swift #6845: Pull request #20612 synchronize by hvitved
4m 30s hvitved:rust/type-inference-blanket-non-satisfaction
hvitved:rust/type-inference-blanket-non-satisfaction
4m 30s
Shared: Align SSA interfaces in Guards and ControlFlowReachability with shared SSA Swift #6844: Pull request #20680 opened by aschackmull
4m 31s aschackmull:shared/align-ssa-interface
aschackmull:shared/align-ssa-interface
4m 31s
Bazel: upgrade rules_rust Swift #6843: Pull request #20679 opened by redsun82
4m 20s redsun82/fix-rust-vendor-check
redsun82/fix-rust-vendor-check
4m 20s
C#: Replace old Guards with the new shared implementation. Swift #6842: Pull request #20665 synchronize by aschackmull
4m 23s aschackmull:csharp/guards-replace
aschackmull:csharp/guards-replace
4m 23s
Shared/Java: Rename ControlFlowReachability library. Swift #6841: Pull request #20678 opened by aschackmull
4m 2s aschackmull:shared/rename-cfg-reach
aschackmull:shared/rename-cfg-reach
4m 2s
Crypto: Add Java Cryptographic Analysis Queries Swift #6840: Pull request #20605 synchronize by bdrodes
4m 11s bdrodes:santander-java-crypto-check
bdrodes:santander-java-crypto-check
4m 11s
Crypto: Add Java Cryptographic Analysis Queries Swift #6839: Pull request #20605 synchronize by bdrodes
4m 10s bdrodes:santander-java-crypto-check
bdrodes:santander-java-crypto-check
4m 10s
Crypto: Add Java Cryptographic Analysis Queries Swift #6838: Pull request #20605 synchronize by bdrodes
4m 21s bdrodes:santander-java-crypto-check
bdrodes:santander-java-crypto-check
4m 21s
Crypto: Add Java Cryptographic Analysis Queries Swift #6837: Pull request #20605 synchronize by bdrodes
4m 23s bdrodes:santander-java-crypto-check
bdrodes:santander-java-crypto-check
4m 23s
Crypto: Add Java Cryptographic Analysis Queries Swift #6836: Pull request #20605 synchronize by bdrodes
4m 36s bdrodes:santander-java-crypto-check
bdrodes:santander-java-crypto-check
4m 36s
Crypto: Add Java Cryptographic Analysis Queries Swift #6835: Pull request #20605 synchronize by bdrodes
4m 21s bdrodes:santander-java-crypto-check
bdrodes:santander-java-crypto-check
4m 21s
C#: Instantiate shared Guards and shared ControlFlowReachability and replace nullness Swift #6834: Pull request #20558 synchronize by aschackmull
4m 35s aschackmull:csharp/guards3
aschackmull:csharp/guards3
4m 35s
Rust: Rework call resolution and type inference for calls Swift #6833: Pull request #20282 synchronize by hvitved
4m 28s hvitved:rust/type-inference-method-call-resolution-rework
hvitved:rust/type-inference-method-call-resolution-rework
4m 28s
ProTip! You can narrow down the results and go further in time using created:<2025-10-22 or the other filters available.