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
9,680 workflow runs
9,680 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #21202 from MathiasVP/add-is-live-predicate-to-ssa…
Compile all queries using the latest stable CodeQL CLI #35269: Commit 73eb3e2 pushed by MathiasVP
16m 31s main
Merge pull request #21142 from MathiasVP/ir-support-for-assertions
Compile all queries using the latest stable CodeQL CLI #35267: Commit dd41538 pushed by MathiasVP
19m 17s main
C++: Rename holdsInBase to isBase
Compile all queries using the latest stable CodeQL CLI #35265: Pull request #21200 opened by igfoo
C++ overlay: Simplify QL
Compile all queries using the latest stable CodeQL CLI #35264: Pull request #21199 opened by igfoo
C++: Allow MaD barriers
Compile all queries using the latest stable CodeQL CLI #35263: Pull request #21162 synchronize by owen-mc
Merge pull request #21185 from MathiasVP/mad-cpp-guards
Compile all queries using the latest stable CodeQL CLI #35257: Commit 6ae1ea7 pushed by MathiasVP
17m 52s main
Merge pull request #21047 from github/redsun82/codegen-readme
Compile all queries using the latest stable CodeQL CLI #35255: Commit 0b9691a pushed by redsun82
1m 41s main
Merge pull request #21168 from hvitved/rust/type-inference-remove-bla…
Compile all queries using the latest stable CodeQL CLI #35252: Commit 9a9e9ac pushed by hvitved
3m 29s main
Merge pull request #21134 from yoff/python/support-ListElement-in-MaD
Compile all queries using the latest stable CodeQL CLI #35250: Commit 5414bd2 pushed by tausbn
8m 35s main
Python support ListElement in MaD
Compile all queries using the latest stable CodeQL CLI #35246: Pull request #21134 synchronize by yoff
Python: MaD barriers
Compile all queries using the latest stable CodeQL CLI #35245: Pull request #21004 synchronize by yoff