Skip to content

Actions: github/codeql

Actions

Rust

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rust.yml
4,196 workflow runs
4,196 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Rust: Generalize more models Rust #4234: Pull request #20702 opened by geoffw0
2m 38s geoffw0:gen2
geoffw0:gen2
2m 38s
C#: Replace old Guards with the new shared implementation. Rust #4233: Pull request #20665 synchronize by aschackmull
3m 27s aschackmull:csharp/guards-replace
aschackmull:csharp/guards-replace
3m 27s
C#: Recognize assertions as guards Rust #4232: Pull request #20701 opened by aschackmull
6m 22s aschackmull:csharp/assertion-guards
aschackmull:csharp/assertion-guards
6m 22s
Rust: Restrict type propagation into arguments Rust #4231: Pull request #20683 synchronize by hvitved
3m 20s hvitved:rust/type-inference-arg-target-typed
hvitved:rust/type-inference-arg-target-typed
3m 20s
Rust: Restrict type propagation into arguments Rust #4230: Pull request #20683 synchronize by hvitved
2m 51s hvitved:rust/type-inference-arg-target-typed
hvitved:rust/type-inference-arg-target-typed
2m 51s
Rust: Compute incompatible blanket implementations Rust #4229: Pull request #20612 synchronize by hvitved
3m 7s hvitved:rust/type-inference-blanket-non-satisfaction
hvitved:rust/type-inference-blanket-non-satisfaction
3m 7s
Rust: Regenerate generated models Rust #4228: Pull request #20689 opened by paldepind
2m 52s paldepind:rust/regenerate-models-2
paldepind:rust/regenerate-models-2
2m 52s
Rust: Refactor using shared constraint satisfaction Rust #4227: Pull request #20682 synchronize by paldepind
2m 43s paldepind:rust/ti-condition
paldepind:rust/ti-condition
2m 43s
Rust: Refactor using shared constraint satisfaction Rust #4226: Pull request #20682 synchronize by paldepind
2m 47s paldepind:rust/ti-condition
paldepind:rust/ti-condition
2m 47s
Rust: Non-symmetric type propagation for lub coercions Rust #4225: Pull request #20592 synchronize by hvitved
2m 49s hvitved:rust/type-inference-branch-propagation
hvitved:rust/type-inference-branch-propagation
2m 49s
Rust: Restrict type propagation into arguments Rust #4224: Pull request #20683 opened by hvitved
2m 48s hvitved:rust/type-inference-arg-target-typed
hvitved:rust/type-inference-arg-target-typed
2m 48s
Rust: Refactor using shared constraint satisfaction Rust #4223: Pull request #20682 opened by paldepind
2m 46s paldepind:rust/ti-condition
paldepind:rust/ti-condition
2m 46s
Bazel: upgrade rules_rust Rust #4222: Pull request #20679 reopened by redsun82
3m 15s redsun82/fix-rust-vendor-check
redsun82/fix-rust-vendor-check
3m 15s
Rust: Compute incompatible blanket implementations Rust #4221: Pull request #20612 synchronize by hvitved
2m 49s hvitved:rust/type-inference-blanket-non-satisfaction
hvitved:rust/type-inference-blanket-non-satisfaction
2m 49s
Shared: Align SSA interfaces in Guards and ControlFlowReachability with shared SSA Rust #4220: Pull request #20680 opened by aschackmull
2m 55s aschackmull:shared/align-ssa-interface
aschackmull:shared/align-ssa-interface
2m 55s
Bazel: upgrade rules_rust Rust #4219: Pull request #20679 opened by redsun82
2m 48s redsun82/fix-rust-vendor-check
redsun82/fix-rust-vendor-check
2m 48s
Rust: Split up the dataflow/sources test Rust #4218: Pull request #20673 synchronize by geoffw0
2m 54s geoffw0:sourcestest
geoffw0:sourcestest
2m 54s
C#: Replace old Guards with the new shared implementation. Rust #4217: Pull request #20665 synchronize by aschackmull
2m 53s aschackmull:csharp/guards-replace
aschackmull:csharp/guards-replace
2m 53s
Shared/Java: Rename ControlFlowReachability library. Rust #4216: Pull request #20678 opened by aschackmull
2m 52s aschackmull:shared/rename-cfg-reach
aschackmull:shared/rename-cfg-reach
2m 52s
Crypto: Add Java Cryptographic Analysis Queries Rust #4215: Pull request #20605 synchronize by bdrodes
2m 41s bdrodes:santander-java-crypto-check
bdrodes:santander-java-crypto-check
2m 41s
Crypto: Add Java Cryptographic Analysis Queries Rust #4214: Pull request #20605 synchronize by bdrodes
2m 50s bdrodes:santander-java-crypto-check
bdrodes:santander-java-crypto-check
2m 50s
Crypto: Add Java Cryptographic Analysis Queries Rust #4213: Pull request #20605 synchronize by bdrodes
2m 51s bdrodes:santander-java-crypto-check
bdrodes:santander-java-crypto-check
2m 51s
Rust: Non-symmetric type propagation for lub coercions Rust #4212: Pull request #20592 synchronize by hvitved
2m 50s hvitved:rust/type-inference-branch-propagation
hvitved:rust/type-inference-branch-propagation
2m 50s
Rust: Split up the dataflow/sources test Rust #4211: Pull request #20673 synchronize by geoffw0
2m 47s geoffw0:sourcestest
geoffw0:sourcestest
2m 47s
Crypto: Add Java Cryptographic Analysis Queries Rust #4210: Pull request #20605 synchronize by bdrodes
2m 44s bdrodes:santander-java-crypto-check
bdrodes:santander-java-crypto-check
2m 44s
ProTip! You can narrow down the results and go further in time using created:<2025-10-22 or the other filters available.