Skip to content

Actions: argumentcomputer/ix

Actions

CodeQL

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
318 workflow runs
318 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
Keep IxVM lazy defeq bounded on open Nat terms (#562) CodeQL #318: Commit 6e10865 pushed by arthurpaulino
3m 53s main
main
3m 53s
KZG recursive verifier CodeQL #317: Pull request #563 synchronize by gabriel-barrett
11m 12s kzg
kzg
11m 12s
KZG recursive verifier CodeQL #316: Pull request #563 synchronize by gabriel-barrett
12m 13s kzg
kzg
12m 13s
KZG recursive verifier CodeQL #315: Pull request #563 synchronize by gabriel-barrett
11m 0s kzg
kzg
11m 0s
KZG recursive verifier CodeQL #314: Pull request #563 synchronize by gabriel-barrett
9m 41s kzg
kzg
9m 41s
KZG recursive verifier CodeQL #313: Pull request #563 synchronize by gabriel-barrett
9m 44s kzg
kzg
9m 44s
KZG recursive verifier CodeQL #312: Pull request #563 synchronize by gabriel-barrett
10m 28s kzg
kzg
10m 28s
Keep IxVM lazy defeq bounded on open Nat terms CodeQL #311: Pull request #562 synchronize by arthurpaulino
10m 0s ap/ixvm-distill
ap/ixvm-distill
10m 0s
KZG recursive verifier CodeQL #310: Pull request #563 opened by gabriel-barrett
9m 30s kzg
kzg
9m 30s
Keep IxVM lazy defeq bounded on open Nat terms CodeQL #309: Pull request #562 opened by arthurpaulino
10m 20s ap/ixvm-distill
ap/ixvm-distill
10m 20s
recursive verifier minimization CodeQL #308: Pull request #561 synchronize by gabriel-barrett
9m 23s blake3-minimization
blake3-minimization
9m 23s
recursive verifier minimization CodeQL #307: Pull request #561 synchronize by gabriel-barrett
9m 47s blake3-minimization
blake3-minimization
9m 47s
recursive verifier minimization CodeQL #306: Pull request #561 opened by gabriel-barrett
9m 35s blake3-minimization
blake3-minimization
9m 35s
IxVM: fix false rejections and pathological kernel reductions (#560) CodeQL #305: Commit 34ca818 pushed by arthurpaulino
10m 12s main
main
10m 12s
Function grouping CodeQL #304: Pull request #551 synchronize by gabriel-barrett
9m 42s group-functions
group-functions
9m 42s
Function grouping CodeQL #303: Pull request #551 synchronize by gabriel-barrett
10m 15s group-functions
group-functions
10m 15s
perf/inline blake3 round CodeQL #302: Pull request #557 synchronize by gabriel-barrett
10m 19s perf/inline-blake3-round
perf/inline-blake3-round
10m 19s
IxVM: fix false rejections and pathological kernel reductions CodeQL #301: Pull request #560 opened by arthurpaulino
11m 25s ap/ixvm3-through-infer
ap/ixvm3-through-infer
11m 25s
perf/virtual xor split (#558) CodeQL #300: Commit 97aa19e pushed by gabriel-barrett
12m 43s main
main
12m 43s
perf/inline blake3 round CodeQL #299: Pull request #557 synchronize by gabriel-barrett
9m 48s perf/inline-blake3-round
perf/inline-blake3-round
9m 48s
perf/virtual xor split CodeQL #298: Pull request #558 synchronize by gabriel-barrett
12m 25s perf/virtual-rotr-chain-output
perf/virtual-rotr-chain-output
12m 25s
perf/inline blake3 round CodeQL #297: Pull request #557 synchronize by gabriel-barrett
11m 5s perf/inline-blake3-round
perf/inline-blake3-round
11m 5s
perf/virtual xor split CodeQL #296: Pull request #558 synchronize by gabriel-barrett
9m 40s perf/virtual-rotr-chain-output
perf/virtual-rotr-chain-output
9m 40s
perf/virtual xor split CodeQL #295: Pull request #558 synchronize by gabriel-barrett
9m 47s perf/virtual-rotr-chain-output
perf/virtual-rotr-chain-output
9m 47s
perf/inline blake3 round CodeQL #294: Pull request #557 synchronize by gabriel-barrett
12m 0s perf/inline-blake3-round
perf/inline-blake3-round
12m 0s