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
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #25: Scheduled
47s main
main
47s
Update multi-stark for hybrid CUDA scheduling Nix CI #2226: Pull request #612 synchronize by arthurpaulino
8m 51s ap/gpu
ap/gpu
8m 51s
Update multi-stark for hybrid CUDA scheduling CI Jobs #2428: Pull request #612 synchronize by arthurpaulino
16m 4s ap/gpu
ap/gpu
16m 4s
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 Merge tests #173: Pull request #612 synchronize by arthurpaulino
7s ap/gpu
ap/gpu
7s
Relay benchmark comment Benchmark pull requests #664: Issue comment #612 (comment) created by argument-ci-bot Bot
1s
1s
Update multi-stark for hybrid CUDA scheduling Bencher thresholds reset #583: Issue comment #612 (comment) created by argument-ci-bot Bot
Skipped
Skipped
Benchmark PR #612 Benchmark pull requests #663: Manually run by github-actions Bot
27m 57s main
main
27m 57s
Relay benchmark comment Benchmark pull requests #662: Issue comment #612 (comment) created by arthurpaulino
11s
11s
Update multi-stark for hybrid CUDA scheduling Bencher thresholds reset #582: Issue comment #612 (comment) created by arthurpaulino
1s
1s
Update multi-stark for hybrid CUDA scheduling Merge tests #172: Pull request #612 synchronize by arthurpaulino
6s ap/gpu
ap/gpu
6s
Update multi-stark for hybrid CUDA scheduling CI Jobs #2427: Pull request #612 synchronize by arthurpaulino
11m 45s ap/gpu
ap/gpu
11m 45s
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 Nix CI #2225: Pull request #612 synchronize by arthurpaulino
9m 34s ap/gpu
ap/gpu
9m 34s
Update multi-stark for hybrid CUDA scheduling CI Jobs #2426: Pull request #612 opened by arthurpaulino
17m 36s ap/gpu
ap/gpu
17m 36s
Update multi-stark for hybrid CUDA scheduling Nix CI #2224: Pull request #612 opened by arthurpaulino
8m 46s ap/gpu
ap/gpu
8m 46s
Update multi-stark for hybrid CUDA scheduling CodeQL #555: Pull request #612 opened by arthurpaulino
11m 30s ap/gpu
ap/gpu
11m 30s
Update multi-stark for hybrid CUDA scheduling Merge tests #171: Pull request #612 opened by arthurpaulino
7s ap/gpu
ap/gpu
7s
feat: compress aggregate roots with SP1 Nix CI #2223: Pull request #602 synchronize by johnchandlerburnham
8m 54s jcb/sp1-compressor
jcb/sp1-compressor
8m 54s
feat: compress aggregate roots with SP1 CI Jobs #2425: Pull request #602 synchronize by johnchandlerburnham
26m 58s jcb/sp1-compressor
jcb/sp1-compressor
26m 58s
feat: compress aggregate roots with SP1 Merge tests #170: Pull request #602 synchronize by johnchandlerburnham
7s jcb/sp1-compressor
jcb/sp1-compressor
7s
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 Merge tests #169: Pull request #602 synchronize by johnchandlerburnham
5s jcb/sp1-compressor
jcb/sp1-compressor
5s
feat: compress aggregate roots with SP1 Nix CI #2222: Pull request #602 synchronize by johnchandlerburnham
8m 53s jcb/sp1-compressor
jcb/sp1-compressor
8m 53s
feat: compress aggregate roots with SP1 CI Jobs #2424: Pull request #602 synchronize by johnchandlerburnham
16m 4s jcb/sp1-compressor
jcb/sp1-compressor
16m 4s