Skip to content

Actions: github/codeql

Actions

Check overlay annotations

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
check-overlay-annotations.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
C++: Convert remaining CSV models to .model.yml and remove CSV model infrastructure Check overlay annotations #6233: Pull request #21585 synchronize by owen-mc
21s copilot/convert-models-to-yml
copilot/convert-models-to-yml
21s
C++: Silence ExtractionRecoverableWarnings when BMN is active Check overlay annotations #6232: Pull request #21588 opened by jketema
23s jketema:jketema/compiler-error-bmn
jketema:jketema/compiler-error-bmn
23s
Rust: Fix performance issue associated with neutral models Check overlay annotations #6231: Pull request #21587 opened by geoffw0
21s geoffw0:neutralperf
geoffw0:neutralperf
21s
Kotlin: update to 2.3.20 Check overlay annotations #6230: Pull request #21583 synchronize by redsun82
18s redsun82/update-kotlin-2.3.20
redsun82/update-kotlin-2.3.20
18s
C#: Remove expanded assignments. Check overlay annotations #6229: Pull request #21452 synchronize by michaelnebel
23s michaelnebel:csharp/expandedassignment
michaelnebel:csharp/expandedassignment
23s
Merge pull request #21564 from hvitved/rust/type-inference-additional… Check overlay annotations #6228: Commit c66679c pushed by hvitved
27s main
main
27s
C#: Replace CFG with the shared implementation Check overlay annotations #6227: Pull request #21565 synchronize by aschackmull
22s aschackmull:csharp/cfg2
aschackmull:csharp/cfg2
22s
C++: Convert remaining CSV models to .model.yml and remove CSV model infrastructure Check overlay annotations #6226: Pull request #21585 synchronize by Copilot AI
26s copilot/convert-models-to-yml
copilot/convert-models-to-yml
26s
Shared: update code comments explaining models-as-data format to include barriers and barrier guards Check overlay annotations #6224: Pull request #21584 synchronize by owen-mc
25s owen-mc:shared/update-mad-comments
owen-mc:shared/update-mad-comments
25s
Shared: update code comments explaining models-as-data format to include barriers and barrier guards Check overlay annotations #6223: Pull request #21584 opened by owen-mc
25s owen-mc:shared/update-mad-comments
owen-mc:shared/update-mad-comments
25s
Kotlin: update to 2.3.20 Check overlay annotations #6222: Pull request #21583 synchronize by redsun82
19s redsun82/update-kotlin-2.3.20
redsun82/update-kotlin-2.3.20
19s
C#: Remove expanded assignments. Check overlay annotations #6221: Pull request #21452 synchronize by michaelnebel
22s michaelnebel:csharp/expandedassignment
michaelnebel:csharp/expandedassignment
22s
Kotlin: update to 2.3.20 Check overlay annotations #6220: Pull request #21583 opened by redsun82
21s redsun82/update-kotlin-2.3.20
redsun82/update-kotlin-2.3.20
21s
JS: Add regression test for YAML extraction Check overlay annotations #6219: Pull request #21571 synchronize by henrymercer
19s henrymercer/yaml-regression-test
henrymercer/yaml-regression-test
19s
Go: fix bad join order Check overlay annotations #6218: Pull request #21576 synchronize by owen-mc
21s owen-mc:go/fix-bad-join-order
owen-mc:go/fix-bad-join-order
21s
C#: Remove expanded assignments. Check overlay annotations #6217: Pull request #21452 synchronize by michaelnebel
21s michaelnebel:csharp/expandedassignment
michaelnebel:csharp/expandedassignment
21s
C#: Remove expanded assignments. Check overlay annotations #6216: Pull request #21452 synchronize by michaelnebel
18s michaelnebel:csharp/expandedassignment
michaelnebel:csharp/expandedassignment
18s
Remove false positive injection sink models for docker/build-push-action and step-security/harden-runner Check overlay annotations #6215: Pull request #21574 synchronize by redsun82
19s redsun82/actions/remove-harden-runner-false-positive
redsun82/actions/remove-harden-runner-false-positive
19s
Bump rules_shell from 0.6.1 to 0.7.1 Check overlay annotations #6214: Pull request #21580 opened by dependabot bot
29s dependabot/bazel/rules_shell-0.7.1
dependabot/bazel/rules_shell-0.7.1
29s
Go: use shared SSA library (codeql.ssa.Ssa) Check overlay annotations #6213: Pull request #21554 synchronize by Copilot AI
Action required copilot/make-go-use-ssa-library
copilot/make-go-use-ssa-library
Action required
Go: use shared SSA library (codeql.ssa.Ssa) Check overlay annotations #6212: Pull request #21554 synchronize by owen-mc
27s copilot/make-go-use-ssa-library
copilot/make-go-use-ssa-library
27s
Java: Accept new test results after JDK 26 extractor upgrade Check overlay annotations #6211: Pull request #21494 synchronize by IdrissRio
19s idrissrio/java/jdk26
idrissrio/java/jdk26
19s
C++: Handle field initialization via NSDMI in IR generation Check overlay annotations #6210: Pull request #21391 synchronize by jketema
21s jketema:jketema/nsdmi
jketema:jketema/nsdmi
21s
C#: Remove expanded assignments. Check overlay annotations #6209: Pull request #21452 synchronize by michaelnebel
26s michaelnebel:csharp/expandedassignment
michaelnebel:csharp/expandedassignment
26s
Go: fix bad join order Check overlay annotations #6208: Pull request #21576 opened by owen-mc
19s owen-mc:go/fix-bad-join-order
owen-mc:go/fix-bad-join-order
19s
ProTip! You can narrow down the results and go further in time using created:<2026-03-25 or the other filters available.