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
Type inference 2.0 Rust #6517: Pull request #21795 synchronize by hvitved
2m 40s hvitved:rust/type-inference-shared
hvitved:rust/type-inference-shared
2m 40s
Rust: Make crate fallback logic more conservative in path resolution library Rust #6516: Pull request #22495 opened by hvitved
2m 36s hvitved:rust/path-resolution-crate-fallback-uniqueness
hvitved:rust/path-resolution-crate-fallback-uniqueness
2m 36s
Go: migrate control flow graph to shared CFG library #2 Rust #6515: Pull request #22182 synchronize by owen-mc
2m 49s owen-mc:go/shared-cfg
owen-mc:go/shared-cfg
2m 49s
Bazel: Add lfs_archives function Rust #6514: Pull request #22483 synchronize by jketema
2m 17s jketema/lfs-archives
jketema/lfs-archives
2m 17s
Rust: Force stable toolchain Rust #6513: Pull request #22493 opened by paldepind
2m 39s rust/force-stable-toolchain
rust/force-stable-toolchain
2m 39s
Kotlin: support 2.4.20-RC2 Rust #6512: Pull request #22404 synchronize by andersfugmann
2m 35s andersfugmann/kotlin-2.4.20rc
andersfugmann/kotlin-2.4.20rc
2m 35s
CFG: Rename ForeachStmt to ForEachStmt. Rust #6511: Pull request #22489 opened by aschackmull
2m 41s aschackmull:cfg/rename-foreach
aschackmull:cfg/rename-foreach
2m 41s
Add actions.lock extraction Rust #6510: Pull request #22487 synchronize by hvitved
2m 49s hvitved-actions-lock-extraction
hvitved-actions-lock-extraction
2m 49s
Kotlin: support 2.4.20-RC2 Rust #6509: Pull request #22404 synchronize by andersfugmann
2m 38s andersfugmann/kotlin-2.4.20rc
andersfugmann/kotlin-2.4.20rc
2m 38s
Shared: Disable dynamic reordering for select predicate Rust #6508: Pull request #22486 opened by kaspersv
2m 37s kaspersv:kaspersv/ruby-disable-reordering
kaspersv:kaspersv/ruby-disable-reordering
2m 37s
Support --learn for inline expectation tests Rust #6507: Pull request #22228 synchronize by d10c
2m 53s d10c:d10c/learn-inline-expectations-lib
d10c:d10c/learn-inline-expectations-lib
2m 53s
Support --learn for inline expectation tests Rust #6506: Pull request #22228 synchronize by d10c
2m 40s d10c:d10c/learn-inline-expectations-lib
d10c:d10c/learn-inline-expectations-lib
2m 40s
Shared CFG: check abrupt completion origins Rust #6505: Pull request #22423 synchronize by yoff
2m 54s yoff:yoff-abrupt-origin-consistency
yoff:yoff-abrupt-origin-consistency
2m 54s
Bazel: Add lfs_archives function Rust #6504: Pull request #22483 synchronize by jketema
2m 39s jketema/lfs-archives
jketema/lfs-archives
2m 39s
Rust: Exclude taint-read-steps for axum::extract::state::State Rust #6503: Pull request #22471 synchronize by hvitved
2m 45s hvitved:rust/exclude-axum-state-steps
hvitved:rust/exclude-axum-state-steps
2m 45s
Bazel: Add lfs_archives function Rust #6502: Pull request #22483 opened by jketema
2m 42s jketema/lfs-archives
jketema/lfs-archives
2m 42s
FlowSummaryImpl: Model more source/sink steps as jump steps Rust #6501: Pull request #22470 synchronize by hvitved
2m 51s hvitved:flow-summary-source-sink-jump-step
hvitved:flow-summary-source-sink-jump-step
2m 51s
Type inference 2.0 Rust #6500: Pull request #21795 synchronize by hvitved
2m 44s hvitved:rust/type-inference-shared
hvitved:rust/type-inference-shared
2m 44s
Unified: Enable on Arm64 Rust #6499: Pull request #22478 opened by jketema
2m 38s jketema/static-followup
jketema/static-followup
2m 38s
FlowSummaryImpl: Model more source/sink steps as jump steps Rust #6498: Pull request #22470 synchronize by hvitved
2m 43s hvitved:flow-summary-source-sink-jump-step
hvitved:flow-summary-source-sink-jump-step
2m 43s
Rust: Exclude taint-read-steps for axum::extract::state::State Rust #6497: Pull request #22471 synchronize by hvitved
2m 39s hvitved:rust/exclude-axum-state-steps
hvitved:rust/exclude-axum-state-steps
2m 39s
Rust: Source/sink/barrier MaD trait models apply to implementations Rust #6496: Pull request #22445 synchronize by hvitved
2m 42s hvitved-add-source-sink-barrier-tests
hvitved-add-source-sink-barrier-tests
2m 42s
Cfg: Minor tweaks in preparation for Unified Rust #6495: Pull request #22476 opened by aschackmull
2m 42s aschackmull:cfg/tweaks
aschackmull:cfg/tweaks
2m 42s
Rust: Exclude taint-read-steps for axum::extract::state::State Rust #6494: Pull request #22471 synchronize by hvitved
2m 40s hvitved:rust/exclude-axum-state-steps
hvitved:rust/exclude-axum-state-steps
2m 40s
FlowSummaryImpl: Model more source/sink steps as jump steps Rust #6493: Pull request #22470 synchronize by hvitved
2m 51s hvitved:flow-summary-source-sink-jump-step
hvitved:flow-summary-source-sink-jump-step
2m 51s