Skip to content

Actions: argumentcomputer/ix

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
Aggregate-first follow-up: package single-shard roots and prune empty leaves Nix CI #2142: Pull request #599 opened by johnchandlerburnham
12m 22s jcb/aggregate-single-shard
jcb/aggregate-single-shard
12m 22s
Aggregate-first follow-up: package single-shard roots and prune empty leaves CI Jobs #2344: Pull request #599 opened by johnchandlerburnham
14m 57s jcb/aggregate-single-shard
jcb/aggregate-single-shard
14m 57s
Aggregate-first follow-up: package single-shard roots and prune empty leaves CodeQL #482: Pull request #599 opened by johnchandlerburnham
9m 32s jcb/aggregate-single-shard
jcb/aggregate-single-shard
9m 32s
Aggregate-first follow-up: package single-shard roots and prune empty leaves Merge tests #96: Pull request #599 opened by johnchandlerburnham
5s jcb/aggregate-single-shard
jcb/aggregate-single-shard
5s
Aggregate-first recursion: lift shard proofs, fold CheckEnv claims, and verify one root Nix CI #2141: Pull request #598 synchronize by johnchandlerburnham
11m 47s jcb/aggregate-first
jcb/aggregate-first
11m 47s
Aggregate-first recursion: lift shard proofs, fold CheckEnv claims, and verify one root CI Jobs #2343: Pull request #598 synchronize by johnchandlerburnham
12m 9s jcb/aggregate-first
jcb/aggregate-first
12m 9s
Aggregate-first recursion: lift shard proofs, fold CheckEnv claims, and verify one root Merge tests #95: Pull request #598 synchronize by johnchandlerburnham
8s jcb/aggregate-first
jcb/aggregate-first
8s
Aggregate-first recursion: lift shard proofs, fold CheckEnv claims, and verify one root CodeQL #481: Pull request #598 synchronize by johnchandlerburnham
9m 52s jcb/aggregate-first
jcb/aggregate-first
9m 52s
chore: Update Lean to v4.33.1 Nix CI #2140: Pull request #593 synchronize by samuelburnham
7m 16s update/lean-v4.33.1
update/lean-v4.33.1
7m 16s
chore: Update Lean to v4.33.1 CodeQL #480: Pull request #593 synchronize by samuelburnham
53s update/lean-v4.33.1
update/lean-v4.33.1
53s
chore: Update Lean to v4.33.1 CI Jobs #2342: Pull request #593 synchronize by samuelburnham
11m 58s update/lean-v4.33.1
update/lean-v4.33.1
11m 58s
chore: Update Lean to v4.33.1 Merge tests #94: Pull request #593 synchronize by samuelburnham
7s update/lean-v4.33.1
update/lean-v4.33.1
7s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #17: Scheduled
42s main
main
42s
Aggregate-first recursion: lift shard proofs, fold CheckEnv claims, and verify one root Nix CI #2139: Pull request #598 opened by johnchandlerburnham
11m 52s jcb/aggregate-first
jcb/aggregate-first
11m 52s
Aggregate-first recursion: lift shard proofs, fold CheckEnv claims, and verify one root Merge tests #93: Pull request #598 opened by johnchandlerburnham
6s jcb/aggregate-first
jcb/aggregate-first
6s
Aggregate-first recursion: lift shard proofs, fold CheckEnv claims, and verify one root CI Jobs #2341: Pull request #598 opened by johnchandlerburnham
13m 9s jcb/aggregate-first
jcb/aggregate-first
13m 9s
Aggregate-first recursion: lift shard proofs, fold CheckEnv claims, and verify one root CodeQL #479: Pull request #598 opened by johnchandlerburnham
16m 42s jcb/aggregate-first
jcb/aggregate-first
16m 42s
Add opt-in CUDA acceleration for Aiur proofs Bencher thresholds reset #536: Issue comment #597 (comment) created by argument-ci-bot Bot
1s
1s
Relay benchmark comment Benchmark pull requests #620: Issue comment #597 (comment) created by argument-ci-bot Bot
3s
3s
Benchmark PR #597 Benchmark pull requests #619: Manually run by github-actions Bot
27m 31s main
main
27m 31s
Relay benchmark comment Benchmark pull requests #618: Issue comment #597 (comment) created by arthurpaulino
11s
11s
Add opt-in CUDA acceleration for Aiur proofs Bencher thresholds reset #535: Issue comment #597 (comment) created by arthurpaulino
1s
1s
Relay benchmark comment Benchmark pull requests #617: Issue comment #597 (comment) created by argument-ci-bot Bot
2s
2s
Add opt-in CUDA acceleration for Aiur proofs Bencher thresholds reset #534: Issue comment #597 (comment) created by argument-ci-bot Bot
1s
1s
Benchmark PR #597 Benchmark pull requests #616: Manually run by github-actions Bot
18m 19s main
main
18m 19s