Skip to content

Actions: github/codeql

Actions

Rust

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

C#: Replace old Guards with the new shared implementation. Rust #4247: Pull request #20665 synchronize by aschackmull
2m 45s aschackmull:csharp/guards-replace
aschackmull:csharp/guards-replace
2m 45s
C#: Recognize assertions as guards Rust #4246: Pull request #20701 synchronize by aschackmull
2m 41s aschackmull:csharp/assertion-guards
aschackmull:csharp/assertion-guards
2m 41s
Rust: Infer more () types Rust #4245: Pull request #20705 opened by hvitved
2m 43s hvitved:rust/type-inference-unit
hvitved:rust/type-inference-unit
2m 43s
C#: Recognize assertions as guards Rust #4244: Pull request #20701 synchronize by aschackmull
2m 38s aschackmull:csharp/assertion-guards
aschackmull:csharp/assertion-guards
2m 38s
C#: Replace old Guards with the new shared implementation. Rust #4243: Pull request #20665 synchronize by aschackmull
2m 42s aschackmull:csharp/guards-replace
aschackmull:csharp/guards-replace
2m 42s
Rust: Fix two bad joins Rust #4242: Pull request #20704 opened by hvitved
2m 37s hvitved:rust/fix-bad-joins
hvitved:rust/fix-bad-joins
2m 37s
C#: Replace old Guards with the new shared implementation. Rust #4241: Pull request #20665 synchronize by aschackmull
2m 43s aschackmull:csharp/guards-replace
aschackmull:csharp/guards-replace
2m 43s
C#: Recognize assertions as guards Rust #4240: Pull request #20701 synchronize by aschackmull
2m 39s aschackmull:csharp/assertion-guards
aschackmull:csharp/assertion-guards
2m 39s
Rust: Compute incompatible blanket implementations Rust #4239: Pull request #20612 synchronize by hvitved
2m 44s hvitved:rust/type-inference-blanket-non-satisfaction
hvitved:rust/type-inference-blanket-non-satisfaction
2m 44s
Rust: Generalize more models Rust #4238: Pull request #20702 synchronize by geoffw0
2m 48s geoffw0:gen2
geoffw0:gen2
2m 48s
Update diff-informed testing to always treat sources and sinks as alert locations Rust #4237: Pull request #20607 synchronize by d10c
2m 45s d10c:d10c/update-diff-informed-testing
d10c:d10c/update-diff-informed-testing
2m 45s
Rust: Restrict type propagation into arguments Rust #4236: Pull request #20683 synchronize by hvitved
2m 44s hvitved:rust/type-inference-arg-target-typed
hvitved:rust/type-inference-arg-target-typed
2m 44s
Rust: Generalize more models Rust #4235: Pull request #20702 synchronize by geoffw0
3m 33s geoffw0:gen2
geoffw0:gen2
3m 33s
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
ProTip! You can narrow down the results and go further in time using created:<2025-10-23 or the other filters available.