Skip to content

Actions: github/codeql

Actions

Compile all queries using the latest stable CodeQL CLI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
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
Java: Support for MaD barriers and barrier guards. Compile all queries using the latest stable CodeQL CLI #34626: Pull request #20986 synchronize by aschackmull
1h 1m 4s aschackmull:java/mad-barriers
aschackmull:java/mad-barriers
1h 1m 4s
Guards: Generalise ValidationWrapper to support GuardValue-based BarrierGuards Compile all queries using the latest stable CodeQL CLI #34625: Pull request #21001 synchronize by aschackmull
39m 29s aschackmull:guards/generalise-validationwrapper
aschackmull:guards/generalise-validationwrapper
39m 29s
Rust: Reduce the number of sinks in DereferenceSink Compile all queries using the latest stable CodeQL CLI #34624: Pull request #20941 synchronize by paldepind
25m 52s paldepind:rust/invalid-pointer-barriers
paldepind:rust/invalid-pointer-barriers
25m 52s
Python: MaD barriers Compile all queries using the latest stable CodeQL CLI #34623: Pull request #21004 opened by yoff
1m 9s yoff:python/mad-barriers
yoff:python/mad-barriers
1m 9s
Python: Add modelling for zstd.compression Compile all queries using the latest stable CodeQL CLI #34622: Pull request #21002 synchronize by tausbn
25m 55s tausbn/python-add-models-for-zstd-compression
tausbn/python-add-models-for-zstd-compression
25m 55s
Python: Add modelling for zstd.compression Compile all queries using the latest stable CodeQL CLI #34621: Pull request #21002 synchronize by tausbn
25m 26s tausbn/python-add-models-for-zstd-compression
tausbn/python-add-models-for-zstd-compression
25m 26s
Python: Add modelling for zstd.compression Compile all queries using the latest stable CodeQL CLI #34620: Pull request #21002 opened by tausbn
26m 4s tausbn/python-add-models-for-zstd-compression
tausbn/python-add-models-for-zstd-compression
26m 4s
Python: Add support for PEP-758 exception syntax Compile all queries using the latest stable CodeQL CLI #34619: Pull request #20990 synchronize by tausbn
31m 54s tausbn/python-support-relaxed-exception-groups
tausbn/python-support-relaxed-exception-groups
31m 54s
Guards: Generalise ValidationWrapper to support GuardValue-based BarrierGuards Compile all queries using the latest stable CodeQL CLI #34618: Pull request #21001 opened by aschackmull
38m 12s aschackmull:guards/generalise-validationwrapper
aschackmull:guards/generalise-validationwrapper
38m 12s
Java: Support for MaD barriers and barrier guards. Compile all queries using the latest stable CodeQL CLI #34617: Pull request #20986 synchronize by aschackmull
1h 0m 11s aschackmull:java/mad-barriers
aschackmull:java/mad-barriers
1h 0m 11s
Java: Support for MaD barriers and barrier guards. Compile all queries using the latest stable CodeQL CLI #34616: Pull request #20986 synchronize by aschackmull
1m 3s aschackmull:java/mad-barriers
aschackmull:java/mad-barriers
1m 3s
Java: Support for MaD barriers and barrier guards. Compile all queries using the latest stable CodeQL CLI #34615: Pull request #20986 synchronize by aschackmull
1h 1m 12s aschackmull:java/mad-barriers
aschackmull:java/mad-barriers
1h 1m 12s
Java: Support for MaD barriers and barrier guards. Compile all queries using the latest stable CodeQL CLI #34614: Pull request #20986 synchronize by aschackmull
1m 7s aschackmull:java/mad-barriers
aschackmull:java/mad-barriers
1m 7s
Java: Add models for spring WebSocketHandler Compile all queries using the latest stable CodeQL CLI #34613: Pull request #20999 synchronize by joefarebrother
25m 32s joefarebrother:java-spring-websocket
joefarebrother:java-spring-websocket
25m 32s
Java: Add models for spring WebSocketHandler Compile all queries using the latest stable CodeQL CLI #34612: Pull request #20999 opened by joefarebrother
27m 46s joefarebrother:java-spring-websocket
joefarebrother:java-spring-websocket
27m 46s
Rust: Reduce the number of sinks in DereferenceSink Compile all queries using the latest stable CodeQL CLI #34611: Pull request #20941 synchronize by paldepind
25m 9s paldepind:rust/invalid-pointer-barriers
paldepind:rust/invalid-pointer-barriers
25m 9s
Merge pull request #20997 from paldepind/rust/fix-expected Compile all queries using the latest stable CodeQL CLI #34610: Commit fe18e0e pushed by hvitved
1h 46m 34s main
main
1h 46m 34s
Java: Support for MaD barriers and barrier guards. Compile all queries using the latest stable CodeQL CLI #34609: Pull request #20986 synchronize by aschackmull
1m 6s aschackmull:java/mad-barriers
aschackmull:java/mad-barriers
1m 6s
C/C++ overlay: Add multiloc declaration to Overlay.qll Compile all queries using the latest stable CodeQL CLI #34608: Pull request #20995 synchronize by IdrissRio
26m 3s idrissrio/cpp/overlay/locations
idrissrio/cpp/overlay/locations
26m 3s
Merge pull request #20954 from hvitved/rust/stats-more-calls Compile all queries using the latest stable CodeQL CLI #34607: Commit a5f513f pushed by hvitved
1h 45m 6s main
main
1h 45m 6s
Java: Support for MaD barriers and barrier guards. Compile all queries using the latest stable CodeQL CLI #34606: Pull request #20986 synchronize by aschackmull
1m 3s aschackmull:java/mad-barriers
aschackmull:java/mad-barriers
1m 3s
Java: Support for MaD barriers and barrier guards. Compile all queries using the latest stable CodeQL CLI #34605: Pull request #20986 synchronize by owen-mc
1m 9s aschackmull:java/mad-barriers
aschackmull:java/mad-barriers
1m 9s
Java: Support for MaD barriers and barrier guards. Compile all queries using the latest stable CodeQL CLI #34604: Pull request #20986 synchronize by owen-mc
1m 14s aschackmull:java/mad-barriers
aschackmull:java/mad-barriers
1m 14s
C/C++ overlay: Add multiloc declaration to Overlay.qll Compile all queries using the latest stable CodeQL CLI #34603: Pull request #20995 synchronize by IdrissRio
25m 44s idrissrio/cpp/overlay/locations
idrissrio/cpp/overlay/locations
25m 44s
C/C++ overlay: Add multiloc declaration to Overlay.qll Compile all queries using the latest stable CodeQL CLI #34602: Pull request #20995 synchronize by IdrissRio
26m 1s idrissrio/cpp/overlay/locations
idrissrio/cpp/overlay/locations
26m 1s
ProTip! You can narrow down the results and go further in time using created:<2025-12-09 or the other filters available.