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 #21641 from github/josefs/promptInjectionImprovements Check overlay annotations #6829: Commit 68be006 pushed by josefs
27s main
main
27s
C++: Speed up cpp/leap-year/unchecked-after-arithmetic-year-modification Check overlay annotations #6828: Pull request #21768 synchronize by MathiasVP
21s speed-up-unchecked-leap-year-after-modification
speed-up-unchecked-leap-year-after-modification
21s
Shared: Adjust semantics of optional inline expectation tags Check overlay annotations #6827: Pull request #21772 synchronize by hvitved
26s hvitved:inline-test-optional
hvitved:inline-test-optional
26s
Merge pull request #21372 from michaelnebel/csharp14/usercompoundassi… Check overlay annotations #6826: Commit bfd3683 pushed by michaelnebel
21s main
main
21s
Merge pull request #21697 from yearn/js/vercel-node-framework Check overlay annotations #6825: Commit c95083b pushed by asgerf
21s main
main
21s
Shared: Adjust semantics of optional inline expectation tags Check overlay annotations #6824: Pull request #21772 opened by hvitved
18s hvitved:inline-test-optional
hvitved:inline-test-optional
18s
C#: Replace SSA classes with shared code. Check overlay annotations #6823: Pull request #21762 synchronize by aschackmull
20s aschackmull:csharp/ssa2
aschackmull:csharp/ssa2
20s
C#: Include parameters and their defaults in the CFG Check overlay annotations #6822: Pull request #21759 synchronize by hvitved
19s hvitved:csharp/cfg-params
hvitved:csharp/cfg-params
19s
C++: Speed up cpp/leap-year/unchecked-after-arithmetic-year-modification Check overlay annotations #6821: Pull request #21768 opened by MathiasVP
23s speed-up-unchecked-leap-year-after-modification
speed-up-unchecked-leap-year-after-modification
23s
Merge pull request #21765 from jketema/switch Check overlay annotations #6820: Commit c2beef1 pushed by jketema
22s main
main
22s
Improve prompt inject for Python Check overlay annotations #6819: Pull request #21641 synchronize by josefs
18s josefs/promptInjectionImprovements
josefs/promptInjectionImprovements
18s
JS: Add support for @vercel/node serverless functions Check overlay annotations #6818: Pull request #21697 synchronize by murderteeth
22s yearn:js/vercel-node-framework
yearn:js/vercel-node-framework
22s
Python: Add self-validating CFG tests Check overlay annotations #6816: Pull request #21724 synchronize by tausbn
21s tausbn/python-add-self-validating-cfg-tests
tausbn/python-add-self-validating-cfg-tests
21s
Python: Add self-validating CFG tests Check overlay annotations #6815: Pull request #21724 synchronize by tausbn
24s tausbn/python-add-self-validating-cfg-tests
tausbn/python-add-self-validating-cfg-tests
24s
C++: Fix join-order problem in getNextSwitchCase Check overlay annotations #6814: Pull request #21765 synchronize by jketema
21s jketema:switch
jketema:switch
21s
C#: Replace SSA classes with shared code. Check overlay annotations #6813: Pull request #21762 synchronize by aschackmull
27s aschackmull:csharp/ssa2
aschackmull:csharp/ssa2
27s
C++: Fix join-order problem in getNextSwitchCase Check overlay annotations #6812: Pull request #21765 opened by jketema
26s jketema:switch
jketema:switch
26s
C#: Replace SSA classes with shared code. Check overlay annotations #6811: Pull request #21762 synchronize by aschackmull
20s aschackmull:csharp/ssa2
aschackmull:csharp/ssa2
20s
C#: Include parameters and their defaults in the CFG Check overlay annotations #6810: Pull request #21759 synchronize by hvitved
20s hvitved:csharp/cfg-params
hvitved:csharp/cfg-params
20s
C#: Include parameters and their defaults in the CFG Check overlay annotations #6809: Pull request #21759 synchronize by hvitved
24s hvitved:csharp/cfg-params
hvitved:csharp/cfg-params
24s
C#: Include parameters and their defaults in the CFG Check overlay annotations #6808: Pull request #21759 synchronize by hvitved
21s hvitved:csharp/cfg-params
hvitved:csharp/cfg-params
21s
C#: Include parameters and their defaults in the CFG Check overlay annotations #6807: Pull request #21759 synchronize by hvitved
18s hvitved:csharp/cfg-params
hvitved:csharp/cfg-params
18s
Merge pull request #21764 from github/add-strsafe.h-models Check overlay annotations #6806: Commit 1ba9601 pushed by MathiasVP
20s main
main
20s
C#: Improve BMN feed checking & handling. Check overlay annotations #6805: Pull request #21684 synchronize by michaelnebel
22s michaelnebel:csharp/improve-reachability-checks
michaelnebel:csharp/improve-reachability-checks
22s
C++: Add Strsafe.h models Check overlay annotations #6804: Pull request #21764 synchronize by MathiasVP
22s add-strsafe.h-models
add-strsafe.h-models
22s