Skip to content

Actions: argumentcomputer/ix

Actions

CodeQL

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
558 workflow runs
558 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
Scale Anthropic FLT compilation with memory-aware scheduling and DAG caches CodeQL #558: Pull request #613 opened by johnchandlerburnham
10m 58s jcb/anthropic-flt-benchmark
jcb/anthropic-flt-benchmark
10m 58s
Update multi-stark for hybrid CUDA scheduling CodeQL #557: Pull request #612 synchronize by arthurpaulino
9m 6s ap/gpu
ap/gpu
9m 6s
Update multi-stark for hybrid CUDA scheduling CodeQL #556: Pull request #612 synchronize by arthurpaulino
11m 11s ap/gpu
ap/gpu
11m 11s
Update multi-stark for hybrid CUDA scheduling CodeQL #555: Pull request #612 opened by arthurpaulino
11m 30s ap/gpu
ap/gpu
11m 30s
feat: compress aggregate roots with SP1 CodeQL #554: Pull request #602 synchronize by johnchandlerburnham
17m 12s jcb/sp1-compressor
jcb/sp1-compressor
17m 12s
feat: compress aggregate roots with SP1 CodeQL #553: Pull request #602 synchronize by johnchandlerburnham
17m 17s jcb/sp1-compressor
jcb/sp1-compressor
17m 17s
aiur: retire the virtual-gas meter's API surface (#611) CodeQL #552: Commit 2911c16 pushed by github-merge-queue Bot
9m 57s main
main
9m 57s
aiur: retire the virtual-gas meter's API surface CodeQL #551: Pull request #611 synchronize by samuelburnham
9m 28s sb/aggregate-first-drop-meter
sb/aggregate-first-drop-meter
9m 28s
aiur: retire the virtual-gas meter's API surface CodeQL #550: Pull request #611 synchronize by samuelburnham
9m 37s sb/aggregate-first-drop-meter
sb/aggregate-first-drop-meter
9m 37s
chore(deps): bump the rust-minor group across 1 directory with 12 updates CodeQL #549: Pull request #566 synchronize by dependabot Bot
10m 42s dependabot-cargo-rust-minor-7e98571a25
dependabot-cargo-rust-minor-7e98571a25
10m 42s
Aggregate-first recursion: lift shard proofs, fold CheckEnv claims,… CodeQL #548: Commit cb23e50 pushed by github-merge-queue Bot
10m 19s main
main
10m 19s
Aggregate-first recursion: lift shard proofs, fold CheckEnv claims, and verify one root CodeQL #547: Pull request #598 synchronize by johnchandlerburnham
10m 21s jcb/aggregate-first
jcb/aggregate-first
10m 21s
chore(deps): bump the actions group with 2 updates CodeQL #546: Pull request #596 synchronize by samuelburnham
1m 15s dependabot/github_actions/actions-aaa8de0cc8
dependabot/github_actions/actions-aaa8de0cc8
1m 15s
Aggregate-first recursion: lift shard proofs, fold CheckEnv claims, and verify one root CodeQL #545: Pull request #598 synchronize by johnchandlerburnham
10m 19s jcb/aggregate-first
jcb/aggregate-first
10m 19s
perf: Tune ix shard counts and recalibrate for proving via --ram-budget CodeQL #544: Pull request #601 synchronize by samuelburnham
9m 41s ap/aiur-cost-dump
ap/aiur-cost-dump
9m 41s
lakefile: drop Blake3 from the native-decide dynlib (#607) CodeQL #543: Commit 7675111 pushed by github-merge-queue Bot
12s main
main
12s
perf: Tune ix shard counts and recalibrate for proving via --ram-budget CodeQL #542: Pull request #601 synchronize by samuelburnham
9m 51s ap/aiur-cost-dump
ap/aiur-cost-dump
9m 51s
chore(deps): bump the actions group with 2 updates CodeQL #541: Pull request #596 synchronize by samuelburnham
58s dependabot/github_actions/actions-aaa8de0cc8
dependabot/github_actions/actions-aaa8de0cc8
58s
lakefile: drop Blake3 from the native-decide dynlib CodeQL #540: Pull request #607 synchronize by samuelburnham
15s sb/blake3-precompile
sb/blake3-precompile
15s
chore(deps): bump the rust-minor group across 1 directory with 12 updates CodeQL #539: Pull request #566 synchronize by dependabot Bot
9m 57s dependabot-cargo-rust-minor-7e98571a25
dependabot-cargo-rust-minor-7e98571a25
9m 57s
bench: Drop the formal-conjectures compile benchmark (#609) CodeQL #538: Commit c9f86ca pushed by github-merge-queue Bot
9m 41s main
main
9m 41s
bench: Drop the formal-conjectures compile benchmark CodeQL #537: Pull request #609 synchronize by samuelburnham
1m 6s sb/drop-compilefc
sb/drop-compilefc
1m 6s
Update Aiur to Plonky3 0.6 CodeQL #536: Pull request #605 synchronize by arthurpaulino
10m 22s ap/bump-p3
ap/bump-p3
10m 22s
Authenticate CI git fetches of GitHub repos (#610) CodeQL #535: Commit 74e7e25 pushed by github-merge-queue Bot
56s main
main
56s
Authenticate CI git fetches of GitHub repos CodeQL #534: Pull request #610 opened by samuelburnham
55s sb/authenticate-ci-git-fetches
sb/authenticate-ci-git-fetches
55s