Skip to content

Actions: argumentcomputer/ix

Actions

CodeQL

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
509 workflow runs
509 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
chore: Update multi stark CodeQL #509: Pull request #588 synchronize by arthurpaulino
11m 1s update-multi-stark
update-multi-stark
11m 1s
formalization: verify Ix.Tc and establish the Ixon v2 compiler refinement path CodeQL #508: Pull request #594 synchronize by johnchandlerburnham
10m 13s jcb/ix-formalization3
jcb/ix-formalization3
10m 13s
chore: Update multi stark CodeQL #507: Pull request #588 synchronize by arthurpaulino
10m 40s update-multi-stark
update-multi-stark
10m 40s
formalization: verify Ix.Tc and establish the Ixon v2 compiler refinement path CodeQL #506: Pull request #594 synchronize by johnchandlerburnham
10m 34s jcb/ix-formalization3
jcb/ix-formalization3
10m 34s
chore: Update multi stark CodeQL #505: Pull request #588 synchronize by arthurpaulino
13m 5s update-multi-stark
update-multi-stark
13m 5s
feat: add complete Flock Stage 3 compression for aggregate roots CodeQL #504: Pull request #604 synchronize by johnchandlerburnham
12m 18s jcb/flock-stage3
jcb/flock-stage3
12m 18s
feat: add complete Flock Stage 3 compression for aggregate roots CodeQL #503: Pull request #604 synchronize by johnchandlerburnham
14m 10s jcb/flock-stage3
jcb/flock-stage3
14m 10s
feat: add complete Flock Stage 3 compression for aggregate roots CodeQL #502: Pull request #604 synchronize by johnchandlerburnham
14m 39s jcb/flock-stage3
jcb/flock-stage3
14m 39s
feat: add complete Flock Stage 3 compression for aggregate roots CodeQL #501: Pull request #604 synchronize by johnchandlerburnham
13m 30s jcb/flock-stage3
jcb/flock-stage3
13m 30s
feat: compress aggregate roots with SP1 CodeQL #500: Pull request #602 synchronize by johnchandlerburnham
14m 3s jcb/sp1-compressor
jcb/sp1-compressor
14m 3s
feat: compress aggregate roots with SP1 CodeQL #499: Pull request #602 synchronize by johnchandlerburnham
13m 19s jcb/sp1-compressor
jcb/sp1-compressor
13m 19s
Aggregate-first recursion: lift shard proofs, fold CheckEnv claims, and verify one root CodeQL #498: Pull request #598 synchronize by johnchandlerburnham
11m 35s jcb/aggregate-first
jcb/aggregate-first
11m 35s
chore(deps): bump the rust-minor group across 1 directory with 12 updates CodeQL #497: Pull request #566 synchronize by dependabot Bot
9m 9s dependabot-cargo-rust-minor-7e98571a25
dependabot-cargo-rust-minor-7e98571a25
9m 9s
Add opt-in CUDA acceleration for Aiur proofs (#597) CodeQL #496: Commit e1ca8e2 pushed by github-merge-queue Bot
11m 53s main
main
11m 53s
Add opt-in CUDA acceleration for Aiur proofs CodeQL #495: Pull request #597 synchronize by arthurpaulino
11m 22s ap/gpu
ap/gpu
11m 22s
Aggregate-first recursion: lift shard proofs, fold CheckEnv claims, and verify one root CodeQL #494: Pull request #598 synchronize by johnchandlerburnham
9m 43s jcb/aggregate-first
jcb/aggregate-first
9m 43s
Aggregate-first recursion: lift shard proofs, fold CheckEnv claims, and verify one root CodeQL #493: Pull request #598 synchronize by johnchandlerburnham
9m 35s jcb/aggregate-first
jcb/aggregate-first
9m 35s
Aggregate-first recursion: lift shard proofs, fold CheckEnv claims, and verify one root CodeQL #492: Pull request #598 synchronize by johnchandlerburnham
9m 22s jcb/aggregate-first
jcb/aggregate-first
9m 22s
Aggregate-first recursion: lift shard proofs, fold CheckEnv claims, and verify one root CodeQL #491: Pull request #598 synchronize by johnchandlerburnham
9m 0s jcb/aggregate-first
jcb/aggregate-first
9m 0s
Aggregate-first follow-up: package single-shard roots and prune empty leaves CodeQL #490: Pull request #599 synchronize by johnchandlerburnham
10m 36s jcb/aggregate-single-shard
jcb/aggregate-single-shard
10m 36s
perf: Tune ix shard counts and recalibrate for proving via --ram-budget CodeQL #489: Pull request #601 synchronize by samuelburnham
9m 9s ap/aiur-cost-dump
ap/aiur-cost-dump
9m 9s
Aggregate-first follow-up: package single-shard roots and prune empty leaves CodeQL #488: Pull request #599 synchronize by samuelburnham
9m 12s jcb/aggregate-single-shard
jcb/aggregate-single-shard
9m 12s
perf: Tune ix shard counts and recalibrate for proving via --ram-budget CodeQL #487: Pull request #601 opened by samuelburnham
9m 42s ap/aiur-cost-dump
ap/aiur-cost-dump
9m 42s
Aggregate-first follow-up: package single-shard roots and prune empty leaves CodeQL #486: Pull request #599 synchronize by johnchandlerburnham
11m 23s jcb/aggregate-single-shard
jcb/aggregate-single-shard
11m 23s
Aggregate-first follow-up: package single-shard roots and prune empty leaves CodeQL #485: Pull request #599 synchronize by samuelburnham
9m 46s jcb/aggregate-single-shard
jcb/aggregate-single-shard
9m 46s