Skip to content

Actions: github/codeql

Actions

Rust

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Rust: Update split_off models Rust #5352: Pull request #21376 synchronize by geoffw0
3m 38s geoffw0:splitoff2
geoffw0:splitoff2
3m 38s
Merge back rc/3.21 into main Rust #5351: Pull request #21423 opened by oscarsj
3m 36s oscarsj/merge-back-rc-3.21
oscarsj/merge-back-rc-3.21
3m 36s
Rust: Small refactor in TypeMention.qll Rust #5350: Pull request #21422 opened by hvitved
3m 21s hvitved:rust/type-mention-refactor
hvitved:rust/type-mention-refactor
3m 21s
Rust: Unify call resolution logic Rust #5349: Pull request #21355 synchronize by hvitved
3m 9s hvitved:rust/type-inference-unify
hvitved:rust/type-inference-unify
3m 9s
Rust: Unify call resolution logic Rust #5348: Pull request #21355 synchronize by hvitved
3m 27s hvitved:rust/type-inference-unify
hvitved:rust/type-inference-unify
3m 27s
Rust: More conservative resolution of <Foo as Bar<...>> paths Rust #5347: Pull request #21420 synchronize by hvitved
3m 16s hvitved:rust/type-inference-qualified-trait-arg-path
hvitved:rust/type-inference-qualified-trait-arg-path
3m 16s
Rust: More conservative resolution of <Foo as Bar<...>> paths Rust #5346: Pull request #21420 opened by hvitved
2m 58s hvitved:rust/type-inference-qualified-trait-arg-path
hvitved:rust/type-inference-qualified-trait-arg-path
2m 58s
Rust: Unify call resolution logic Rust #5345: Pull request #21355 synchronize by hvitved
3m 19s hvitved:rust/type-inference-unify
hvitved:rust/type-inference-unify
3m 19s
Inline expectation tests should always have space before and after $ Rust #5344: Pull request #21405 synchronize by owen-mc
2m 59s owen-mc:java/consistent-inline-expectation-tests
owen-mc:java/consistent-inline-expectation-tests
2m 59s
Inline expectation tests should always have space before and after $ Rust #5343: Pull request #21405 synchronize by owen-mc
3m 0s owen-mc:java/consistent-inline-expectation-tests
owen-mc:java/consistent-inline-expectation-tests
3m 0s
Guards: Improve performance of forall in guardDeterminesPhiInput. Rust #5342: Pull request #21408 synchronize by aschackmull
2m 54s aschackmull:guards/perf-tweak
aschackmull:guards/perf-tweak
2m 54s
Rust: Unify call resolution logic Rust #5341: Pull request #21355 synchronize by hvitved
3m 6s hvitved:rust/type-inference-unify
hvitved:rust/type-inference-unify
3m 6s
Rust: Unify call resolution logic Rust #5340: Pull request #21355 synchronize by hvitved
3m 22s hvitved:rust/type-inference-unify
hvitved:rust/type-inference-unify
3m 22s
Inline expectation tests should always have space before and after $ Rust #5339: Pull request #21405 synchronize by owen-mc
3m 22s owen-mc:java/consistent-inline-expectation-tests
owen-mc:java/consistent-inline-expectation-tests
3m 22s
Inline expectation tests should always have space before and after $ Rust #5338: Pull request #21405 synchronize by owen-mc
3m 18s owen-mc:java/consistent-inline-expectation-tests
owen-mc:java/consistent-inline-expectation-tests
3m 18s
Inline expectation tests should always have space before and after $ Rust #5337: Pull request #21405 synchronize by owen-mc
3m 4s owen-mc:java/consistent-inline-expectation-tests
owen-mc:java/consistent-inline-expectation-tests
3m 4s
Data flow: Add FeatureEscapesSourceCallContext(OrEqualSourceSinkCallContext) flow feature Rust #5336: Pull request #21404 synchronize by hvitved
3m 2s hvitved:dataflow/no-enclosing-stack-flow-feature
hvitved:dataflow/no-enclosing-stack-flow-feature
3m 2s
Data flow: Add FeatureEscapesSourceCallContext(OrEqualSourceSinkCallContext) flow feature Rust #5335: Pull request #21404 synchronize by hvitved
3m 21s hvitved:dataflow/no-enclosing-stack-flow-feature
hvitved:dataflow/no-enclosing-stack-flow-feature
3m 21s
Rust: Unify call resolution logic Rust #5334: Pull request #21355 synchronize by hvitved
2m 57s hvitved:rust/type-inference-unify
hvitved:rust/type-inference-unify
2m 57s
Rust: Unify call resolution logic Rust #5333: Pull request #21355 synchronize by hvitved
3m 16s hvitved:rust/type-inference-unify
hvitved:rust/type-inference-unify
3m 16s
Inline expectation tests should always have space before and after $ Rust #5332: Pull request #21405 synchronize by owen-mc
3m 40s owen-mc:java/consistent-inline-expectation-tests
owen-mc:java/consistent-inline-expectation-tests
3m 40s
Inline expectation tests should always have space before and after $ Rust #5331: Pull request #21405 synchronize by owen-mc
3m 1s owen-mc:java/consistent-inline-expectation-tests
owen-mc:java/consistent-inline-expectation-tests
3m 1s
Inline expectation tests should always have space before and after $ Rust #5330: Pull request #21405 synchronize by owen-mc
3m 9s owen-mc:java/consistent-inline-expectation-tests
owen-mc:java/consistent-inline-expectation-tests
3m 9s
Rust: Unify call resolution logic Rust #5329: Pull request #21355 synchronize by hvitved
3m 34s hvitved:rust/type-inference-unify
hvitved:rust/type-inference-unify
3m 34s
Rust: Add neutral models (map, from) Rust #5328: Pull request #21375 synchronize by geoffw0
2m 58s geoffw0:mapfix
geoffw0:mapfix
2m 58s