Skip to content

Actions: github/codeql

Actions

Rust

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rust.yml
2,500+ workflow runs
2,500+ workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Rust: Source/sink/barrier MaD trait models apply to implementations Rust #6465: Pull request #22445 opened by hvitved
2m 36s hvitved-add-source-sink-barrier-tests
hvitved-add-source-sink-barrier-tests
2m 36s
yeast: Support optional guards in rules Rust #6464: Pull request #22436 synchronize by tausbn
2m 40s tausbn/yeast-support-optional-guards-in-rules
tausbn/yeast-support-optional-guards-in-rules
2m 40s
Rust: Model [T;n] -> [T] unsized coercions as implicit derefs Rust #6462: Pull request #22432 synchronize by hvitved
2m 35s hvitved:rust/array-slice-unsized-coercion
hvitved:rust/array-slice-unsized-coercion
2m 35s
Rust: update rust-analyzer to 0.0.347 Rust #6461: Pull request #22346 synchronize by redsun82
2m 39s redsun82-rust-analyzer-update
redsun82-rust-analyzer-update
2m 39s
Rust: rust-analyzer update tweaks Rust #6460: Pull request #22439 opened by paldepind
2m 57s rust-analyzer-update-tweaks
rust-analyzer-update-tweaks
2m 57s
cpp: add insecure randomness query with RNG security models Rust #6459: Pull request #22437 synchronize by kumarak
Action required trail-of-forks:kumarak/cpp-insecure-randomness-query
trail-of-forks:kumarak/cpp-insecure-randomness-query
Action required
cpp: add insecure randomness query with RNG security models Rust #6458: Pull request #22437 opened by kumarak
Action required trail-of-forks:kumarak/cpp-insecure-randomness-query
trail-of-forks:kumarak/cpp-insecure-randomness-query
Action required
yeast: Support optional guards in rules Rust #6457: Pull request #22436 opened by tausbn
2m 22s tausbn/yeast-support-optional-guards-in-rules
tausbn/yeast-support-optional-guards-in-rules
2m 22s
Rust: Address result duplication in rust/hard-coded-cryptographic-value Rust #6456: Pull request #22426 synchronize by geoffw0
2m 53s geoffw0:match
geoffw0:match
2m 53s
Rust: Address result duplication in rust/hard-coded-cryptographic-value Rust #6455: Pull request #22426 synchronize by geoffw0
2m 49s geoffw0:match
geoffw0:match
2m 49s
Rust: Model [T;n] -> [T] unsized coercions as implicit derefs Rust #6454: Pull request #22432 synchronize by hvitved
2m 41s hvitved:rust/array-slice-unsized-coercion
hvitved:rust/array-slice-unsized-coercion
2m 41s
Rust: Model [T;n] -> [T] unsized coercions as implicit derefs Rust #6453: Pull request #22432 opened by hvitved
2m 44s hvitved:rust/array-slice-unsized-coercion
hvitved:rust/array-slice-unsized-coercion
2m 44s
Dataflow/prune to shortestpath2 Rust #6452: Pull request #22428 opened by aschackmull
2m 40s aschackmull:dataflow/prune-to-shortestpath2
aschackmull:dataflow/prune-to-shortestpath2
2m 40s
Kotlin: support 2.4.20 Rust #6451: Pull request #22404 synchronize by andersfugmann
2m 47s andersfugmann/kotlin-2.4.20rc
andersfugmann/kotlin-2.4.20rc
2m 47s
Kotlin: support 2.4.20 Rust #6450: Pull request #22404 synchronize by andersfugmann
2m 46s andersfugmann/kotlin-2.4.20rc
andersfugmann/kotlin-2.4.20rc
2m 46s
Kotlin: support 2.4.20 Rust #6449: Pull request #22404 synchronize by andersfugmann
2m 39s andersfugmann/kotlin-2.4.20rc
andersfugmann/kotlin-2.4.20rc
2m 39s
Kotlin: support 2.4.20 Rust #6448: Pull request #22404 synchronize by andersfugmann
2m 54s andersfugmann/kotlin-2.4.20rc
andersfugmann/kotlin-2.4.20rc
2m 54s
Dataflow: test Rust #6447: Pull request #22427 synchronize by aschackmull
2m 40s aschackmull:dataflow/prune-to-shortestpath
aschackmull:dataflow/prune-to-shortestpath
2m 40s
Rust: update rust-analyzer to 0.0.347 Rust #6446: Pull request #22346 synchronize by redsun82
3m 3s redsun82-rust-analyzer-update
redsun82-rust-analyzer-update
3m 3s
Rust: update rust-analyzer to 0.0.347 Rust #6445: Pull request #22346 synchronize by redsun82
2m 57s redsun82-rust-analyzer-update
redsun82-rust-analyzer-update
2m 57s
Type inference 2.0 Rust #6444: Pull request #21795 synchronize by hvitved
2m 52s hvitved:rust/type-inference-shared
hvitved:rust/type-inference-shared
2m 52s
Dataflow: test Rust #6443: Pull request #22427 opened by aschackmull
2m 26s aschackmull:dataflow/prune-to-shortestpath
aschackmull:dataflow/prune-to-shortestpath
2m 26s
Type inference 2.0 Rust #6442: Pull request #21795 synchronize by hvitved
2m 52s hvitved:rust/type-inference-shared
hvitved:rust/type-inference-shared
2m 52s
Rust: Address result duplication in rust/hard-coded-cryptographic-value Rust #6441: Pull request #22426 opened by geoffw0
2m 56s geoffw0:match
geoffw0:match
2m 56s
Type inference 2.0 Rust #6440: Pull request #21795 synchronize by hvitved
2m 44s hvitved:rust/type-inference-shared
hvitved:rust/type-inference-shared
2m 44s
ProTip! You can narrow down the results and go further in time using created:<2026-08-25 or the other filters available.