Skip to content

Actions: github/codeql

Actions

Run QL for QL

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ql-for-ql-build.yml
11,604 workflow runs
11,604 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #21017 from github/idrissrio/cpp/overlay/xml Run QL for QL #45240: Commit 8fccc34 pushed by IdrissRio
4m 18s main
main
4m 18s
Rust: Fix some false positives for rust/unused-variable and rust/unused-value Run QL for QL #45239: Pull request #21009 synchronize by geoffw0
3m 52s geoffw0:varfps
geoffw0:varfps
3m 52s
Rust: Fix some false positives for rust/unused-variable and rust/unused-value Run QL for QL #45238: Pull request #21009 synchronize by geoffw0
3m 28s geoffw0:varfps
geoffw0:varfps
3m 28s
Merge pull request #20887 from github/copilot/add-ecb-cbc-test-cases Run QL for QL #45237: Commit 5db6b92 pushed by geoffw0
4m 16s main
main
4m 16s
Merge pull request #21008 from jketema/swift-6.2.2 Run QL for QL #45236: Commit 1af1d2d pushed by jketema
4m 28s main
main
4m 28s
C/C++ overlay: Discard xml entities Run QL for QL #45235: Pull request #21017 synchronize by IdrissRio
3m 36s idrissrio/cpp/overlay/xml
idrissrio/cpp/overlay/xml
3m 36s
Go: Support for MaD barriers and barrier guards. Run QL for QL #45234: Pull request #21015 synchronize by aschackmull
3m 25s aschackmull:go/mad-barriers
aschackmull:go/mad-barriers
3m 25s
Java/C++/Go/C#: Share parts of ExternalFlow.qll Run QL for QL #45233: Pull request #21011 synchronize by aschackmull
3m 26s aschackmull:mad/shared-externalflow
aschackmull:mad/shared-externalflow
3m 26s
Java: Support for MaD barriers and barrier guards. Run QL for QL #45232: Pull request #20986 synchronize by aschackmull
3m 31s aschackmull:java/mad-barriers
aschackmull:java/mad-barriers
3m 31s
Merge pull request #20879 from paldepind/rust/reads-as-taint Run QL for QL #45231: Commit e13bb0f pushed by paldepind
4m 24s main
main
4m 24s
Java: Support for MaD barriers and barrier guards. Run QL for QL #45230: Pull request #20986 synchronize by aschackmull
3m 19s aschackmull:java/mad-barriers
aschackmull:java/mad-barriers
3m 19s
C++: Update expected test results after frontend update Run QL for QL #45229: Pull request #20926 synchronize by jketema
3m 31s jketema:jketema/frontend-update
jketema:jketema/frontend-update
3m 31s
C/C++ overlay: Discard xml entities Run QL for QL #45228: Pull request #21017 synchronize by IdrissRio
3m 17s idrissrio/cpp/overlay/xml
idrissrio/cpp/overlay/xml
3m 17s
C#: Connect shared Guards to SSA BarrierGuards. Run QL for QL #45227: Pull request #21018 opened by aschackmull
3m 37s aschackmull:csharp/guards-connect-barrierguard
aschackmull:csharp/guards-connect-barrierguard
3m 37s
C/C++ overlay: Discard xml entities Run QL for QL #45226: Pull request #21017 opened by IdrissRio
3m 19s idrissrio/cpp/overlay/xml
idrissrio/cpp/overlay/xml
3m 19s
C#: Support .slnx. Run QL for QL #45225: Pull request #21016 synchronize by michaelnebel
3m 18s michaelnebel:csharp/slnx
michaelnebel:csharp/slnx
3m 18s
Rust: Lift content reads as taint steps Run QL for QL #45224: Pull request #20879 synchronize by paldepind
3m 27s paldepind:rust/reads-as-taint
paldepind:rust/reads-as-taint
3m 27s
Python: MaD barriers Run QL for QL #45223: Pull request #21004 synchronize by yoff
3m 29s yoff:python/mad-barriers
yoff:python/mad-barriers
3m 29s
C#: Support .slnx. Run QL for QL #45222: Pull request #21016 opened by michaelnebel
3m 22s michaelnebel:csharp/slnx
michaelnebel:csharp/slnx
3m 22s
Go: Support for MaD barriers and barrier guards. Run QL for QL #45221: Pull request #21015 synchronize by aschackmull
3m 15s aschackmull:go/mad-barriers
aschackmull:go/mad-barriers
3m 15s
Python: MaD barriers Run QL for QL #45220: Pull request #21004 synchronize by yoff
3m 28s yoff:python/mad-barriers
yoff:python/mad-barriers
3m 28s
Go: Support for MaD barriers and barrier guards. Run QL for QL #45219: Pull request #21015 opened by aschackmull
3m 14s aschackmull:go/mad-barriers
aschackmull:go/mad-barriers
3m 14s
C#: Remove PreSsa library Run QL for QL #45218: Pull request #20994 synchronize by hvitved
3m 46s hvitved:csharp/remove-pre-ssa
hvitved:csharp/remove-pre-ssa
3m 46s
C#: Remove PreSsa library Run QL for QL #45217: Pull request #20994 synchronize by hvitved
3m 27s hvitved:csharp/remove-pre-ssa
hvitved:csharp/remove-pre-ssa
3m 27s
Rust: Distinguish &mut T from &T in type inference Run QL for QL #45216: Pull request #20973 synchronize by hvitved
3m 23s hvitved:rust/type-inference-distinguish-mut-ref
hvitved:rust/type-inference-distinguish-mut-ref
3m 23s