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
Merge pull request #22062 from github/mario-campos/mirror-maven-centr… Check overlay annotations #7922: Commit da3d0cf pushed by mario-campos
19s main
main
19s
yeast: Extend rule! macro with support for raw captures Check overlay annotations #7921: Pull request #22070 synchronize by tausbn
18s tausbn/yeast-add-raw-capture-syntax
tausbn/yeast-add-raw-capture-syntax
18s
Shared: Support flow summaries from ReturnValues Check overlay annotations #7920: Pull request #22061 synchronize by MathiasVP
21s MathiasVP:mad-write-through-model
MathiasVP:mad-write-through-model
21s
yeast: Extend rule! macro with support for raw captures Check overlay annotations #7919: Pull request #22070 opened by tausbn
18s tausbn/yeast-add-raw-capture-syntax
tausbn/yeast-add-raw-capture-syntax
18s
Merge pull request #22069 from asgerf/unified/build Check overlay annotations #7918: Commit 2767b8d pushed by asgerf
18s main
main
18s
Merge pull request #22067 from asgerf/unified/printast Check overlay annotations #7917: Commit b1f60ac pushed by asgerf
21s main
main
21s
unified: Make build work in Bazel again Check overlay annotations #7916: Pull request #22069 opened by asgerf
18s asgerf:unified/build
asgerf:unified/build
18s
Rust: Fix FPs in rust/hard-coded-cryptographic-value Check overlay annotations #7915: Pull request #22053 synchronize by geoffw0
19s geoffw0:arith
geoffw0:arith
19s
Unified: Generate PrintAst helper and implement PrintAst query Check overlay annotations #7914: Pull request #22067 synchronize by asgerf
19s asgerf:unified/printast
asgerf:unified/printast
19s
Merge pull request #22064 from owen-mc/go/fix-test-failures Check overlay annotations #7913: Commit 37ce885 pushed by owen-mc
20s main
main
20s
Shared: Support flow summaries from ReturnValues Check overlay annotations #7912: Pull request #22061 synchronize by MathiasVP
19s MathiasVP:mad-write-through-model
MathiasVP:mad-write-through-model
19s
Merge pull request #22054 from github/tausbn/yeast-context-reification Check overlay annotations #7911: Commit 52acaec pushed by tausbn
21s main
main
21s
Unified: Generate PrintAst helper and implement PrintAst query Check overlay annotations #7910: Pull request #22067 synchronize by asgerf
20s asgerf:unified/printast
asgerf:unified/printast
20s
Unified: Generate PrintAst helper and implement PrintAst query Check overlay annotations #7907: Pull request #22067 opened by asgerf
22s asgerf:unified/printast
asgerf:unified/printast
22s
Merge pull request #22036 from forks-felickz/felickz/js-angular-hostl… Check overlay annotations #7906: Commit cacdc46 pushed by asgerf
20s main
main
20s
Add XXE query for Rust (rust/xxe, CWE-611) Check overlay annotations #7904: Pull request #21352 synchronize by geoffw0
18s copilot/add-xxe-query-for-rust
copilot/add-xxe-query-for-rust
18s
Merge pull request #22065 from github/dependabot/go_modules/go/extrac… Check overlay annotations #7902: Commit 7b800b1 pushed by owen-mc
19s main
main
19s
Replace jcenter() and mavenCentral() with Maven Central mirror URL Check overlay annotations #7901: Pull request #22062 synchronize by mario-campos
22s mario-campos/mirror-maven-central/gradle
mario-campos/mirror-maven-central/gradle
22s
Bump golang.org/x/tools from 0.46.0 to 0.47.0 in /go/extractor in the extractor-dependencies group Check overlay annotations #7900: Pull request #22065 opened by dependabot Bot
20s dependabot/go_modules/go/extractor/extractor-dependencies-9f88df4328
dependabot/go_modules/go/extractor/extractor-dependencies-9f88df4328
20s
Python: add new shared-CFG-backed control flow graph (additive) Check overlay annotations #7899: Pull request #21921 synchronize by yoff
20s yoff/python-add-new-cfg-library
yoff/python-add-new-cfg-library
20s
Python: add new shared-CFG-backed control flow graph (additive) Check overlay annotations #7898: Pull request #21921 synchronize by yoff
21s yoff/python-add-new-cfg-library
yoff/python-add-new-cfg-library
21s
Go: fix tests with non-empty testFailures Check overlay annotations #7897: Pull request #22064 opened by owen-mc
19s owen-mc:go/fix-test-failures
owen-mc:go/fix-test-failures
19s
Replace jcenter() and mavenCentral() with Maven Central mirror URL Check overlay annotations #7896: Pull request #22062 synchronize by mario-campos
22s mario-campos/mirror-maven-central/gradle
mario-campos/mirror-maven-central/gradle
22s
Merge pull request #21869 from yoff/python/support-flask-subclasses Check overlay annotations #7895: Commit 5fcaac7 pushed by yoff
21s main
main
21s
Replace jcenter() and mavenCentral() with Maven Central mirror URL Check overlay annotations #7894: Pull request #22062 synchronize by mario-campos
19s mario-campos/mirror-maven-central/gradle
mario-campos/mirror-maven-central/gradle
19s