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
Rust: Replace recursion through forall with ranked recursion Check overlay annotations #6487: Pull request #21679 synchronize by hvitved
21s hvitved:rust/type-inference-forall-checks
hvitved:rust/type-inference-forall-checks
21s
Rust: Replace recursion through forall with ranked recursion Check overlay annotations #6486: Pull request #21679 synchronize by hvitved
19s hvitved:rust/type-inference-forall-checks
hvitved:rust/type-inference-forall-checks
19s
Swift: Update to Swift 6.3 Check overlay annotations #6485: Pull request #21667 synchronize by jketema
21s jketema:jketema/swift-6.3
jketema:jketema/swift-6.3
21s
Rust: Replace recursion through forall with ranked recursion Check overlay annotations #6484: Pull request #21679 synchronize by hvitved
20s hvitved:rust/type-inference-forall-checks
hvitved:rust/type-inference-forall-checks
20s
Python: Add create-extractor-pack.sh for Python Check overlay annotations #6483: Pull request #21683 opened by tausbn
21s tausbn/python-add-extractor-pack-build-script
tausbn/python-add-extractor-pack-build-script
21s
Rust: Replace recursion through forall with ranked recursion Check overlay annotations #6482: Pull request #21679 synchronize by hvitved
27s hvitved:rust/type-inference-forall-checks
hvitved:rust/type-inference-forall-checks
27s
Swift: Update to Swift 6.3 Check overlay annotations #6481: Pull request #21667 synchronize by jketema
24s jketema:jketema/swift-6.3
jketema:jketema/swift-6.3
24s
Rust: Replace recursion through forall with ranked recursion Check overlay annotations #6480: Pull request #21679 synchronize by hvitved
19s hvitved:rust/type-inference-forall-checks
hvitved:rust/type-inference-forall-checks
19s
Merge pull request #21592 from hvitved/dataflow/source-call-context-t… Check overlay annotations #6479: Commit 33cc887 pushed by hvitved
19s main
main
19s
Python: Port ContainsNonContainer.ql Check overlay annotations #6478: Pull request #21680 opened by tausbn
20s tausbn/python-port-contains-non-container
tausbn/python-port-contains-non-container
20s
C#: Replace CFG with the shared implementation Check overlay annotations #6477: Pull request #21565 synchronize by aschackmull
21s aschackmull:csharp/cfg2
aschackmull:csharp/cfg2
21s
Rust: Fix performance issue with additionalExternalFile Check overlay annotations #6476: Pull request #21671 synchronize by geoffw0
20s geoffw0:neutralperf
geoffw0:neutralperf
20s
Swift: Update to Swift 6.3 Check overlay annotations #6475: Pull request #21667 synchronize by jketema
20s jketema:jketema/swift-6.3
jketema:jketema/swift-6.3
20s
Rust: Replace recursion through forall with ranked recursion Check overlay annotations #6474: Pull request #21679 synchronize by hvitved
18s hvitved:rust/type-inference-forall-checks
hvitved:rust/type-inference-forall-checks
18s
Rust: Replace recursion through forall with ranked recursion Check overlay annotations #6473: Pull request #21679 synchronize by hvitved
19s hvitved:rust/type-inference-forall-checks
hvitved:rust/type-inference-forall-checks
19s
C#: Replace CFG with the shared implementation Check overlay annotations #6472: Pull request #21565 synchronize by aschackmull
17s aschackmull:csharp/cfg2
aschackmull:csharp/cfg2
17s
Rust: Replace recursion through forall with ranked recursion Check overlay annotations #6471: Pull request #21679 opened by hvitved
21s hvitved:rust/type-inference-forall-checks
hvitved:rust/type-inference-forall-checks
21s
Swift: Update to Swift 6.3 Check overlay annotations #6470: Pull request #21667 synchronize by jketema
19s jketema:jketema/swift-6.3
jketema:jketema/swift-6.3
19s
Data flow: Add hook for preventing lambda dispatch in source call contexts Check overlay annotations #6469: Pull request #21592 synchronize by hvitved
19s hvitved:dataflow/source-call-context-type-flow
hvitved:dataflow/source-call-context-type-flow
19s
Actions: Add experimental queries for AI output validation CWE 1426 Check overlay annotations #6468: Pull request #21678 opened by data-douser
20s data-douser:codeql-actions-scs/cwe-1426
data-douser:codeql-actions-scs/cwe-1426
20s
Bump gazelle from 0.47.0 to 0.50.0 Check overlay annotations #6467: Pull request #21677 opened by dependabot bot
18s dependabot/bazel/gazelle-0.50.0
dependabot/bazel/gazelle-0.50.0
18s
Bump buildifier_prebuilt from 6.4.0 to 8.5.1.2 Check overlay annotations #6466: Pull request #21676 opened by dependabot bot
20s dependabot/bazel/buildifier_prebuilt-8.5.1.2
dependabot/bazel/buildifier_prebuilt-8.5.1.2
20s
Actions: Add experimental prompt injection queries for CWE 1427 Check overlay annotations #6465: Pull request #21675 synchronize by data-douser
21s data-douser:codeql-actions-scs/cwe-1427
data-douser:codeql-actions-scs/cwe-1427
21s
Actions: Add experimental prompt injection queries for CWE 1427 Check overlay annotations #6464: Pull request #21675 opened by data-douser
19s data-douser:codeql-actions-scs/cwe-1427
data-douser:codeql-actions-scs/cwe-1427
19s
Swift: Update to Swift 6.3 Check overlay annotations #6463: Pull request #21667 synchronize by jketema
22s jketema:jketema/swift-6.3
jketema:jketema/swift-6.3
22s