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
IxVM: handle wrapped recursor telescopes and theorem-headed iota majo… Benchmark main #89: Commit fc4f43a pushed by arthurpaulino
17m 38s main
main
17m 38s
IxVM: handle wrapped recursor telescopes and theorem-headed iota majors Bencher thresholds reset #336: Pull request #545 closed by arthurpaulino
8s
8s
IxVM: handle wrapped recursor telescopes and theorem-headed iota majo… Nix CI #1880: Commit fc4f43a pushed by arthurpaulino
5m 11s main
main
5m 11s
IxVM: handle wrapped recursor telescopes and theorem-headed iota majo… CodeQL #230: Commit fc4f43a pushed by arthurpaulino
10m 38s main
main
10m 38s
IxVM: handle wrapped recursor telescopes and theorem-headed iota majo… Extended CI tests #177: Commit fc4f43a pushed by arthurpaulino
22m 11s main
main
22m 11s
IxVM: handle wrapped recursor telescopes and theorem-headed iota majo… CI Jobs #2082: Commit fc4f43a pushed by arthurpaulino
15m 2s main
main
15m 2s
IxVM: handle wrapped recursor telescopes and theorem-headed iota majors CodeQL #229: Pull request #545 opened by arthurpaulino
9m 55s ap/ixvm2
ap/ixvm2
9m 55s
IxVM: handle wrapped recursor telescopes and theorem-headed iota majors CI Jobs #2081: Pull request #545 opened by arthurpaulino
16m 55s ap/ixvm2
ap/ixvm2
16m 55s
IxVM: handle wrapped recursor telescopes and theorem-headed iota majors Nix CI #1879: Pull request #545 opened by arthurpaulino
13m 4s ap/ixvm2
ap/ixvm2
13m 4s
IxVM: reference-faithful def-eq and whnf, environment-machine reduction, and Init+Std/mathlib-scale checking Bencher thresholds reset #335: Pull request #543 closed by arthurpaulino
4s
4s
chore(deps): bump the rust-minor group across 1 directory with 10 updates CodeQL #228: Pull request #523 synchronize by dependabot Bot
10m 1s dependabot-cargo-rust-minor-2a8bcfbd4f
dependabot-cargo-rust-minor-2a8bcfbd4f
10m 1s
chore(deps): bump the rust-minor group across 1 directory with 10 updates CI Jobs #2080: Pull request #523 synchronize by dependabot Bot
15m 1s dependabot-cargo-rust-minor-2a8bcfbd4f
dependabot-cargo-rust-minor-2a8bcfbd4f
15m 1s
chore(deps): bump the rust-minor group across 1 directory with 10 updates Nix CI #1878: Pull request #523 synchronize by dependabot Bot
15m 25s dependabot-cargo-rust-minor-2a8bcfbd4f
dependabot-cargo-rust-minor-2a8bcfbd4f
15m 25s
cargo in / for anyhow, dashmap, libc, log, mimalloc, rustc-hash, serde_json, bytes, tokio, serde - Update #1513630439 Dependabot Updates #357: by dependabot Bot
4m 21s main
main
4m 21s
multi-stark quotient lde bump Bencher thresholds reset #334: Pull request #544 closed by gabriel-barrett
8s
8s
multi-stark quotient lde bump (#544) Nix CI #1877: Commit 859d660 pushed by gabriel-barrett
5m 21s main
main
5m 21s
multi-stark quotient lde bump (#544) CI Jobs #2079: Commit 859d660 pushed by gabriel-barrett
15m 38s main
main
15m 38s
multi-stark quotient lde bump (#544) CodeQL #227: Commit 859d660 pushed by gabriel-barrett
10m 9s main
main
10m 9s
multi-stark quotient lde bump (#544) Benchmark main #88: Commit 859d660 pushed by gabriel-barrett
13m 9s main
main
13m 9s
multi-stark quotient lde bump (#544) Extended CI tests #176: Commit 859d660 pushed by gabriel-barrett
21m 11s main
main
21m 11s
feat(aiur): Accurate whole-env sharding based on execution measurements CodeQL #226: Pull request #537 synchronize by samuelburnham
9m 28s sb/aiur-planner
sb/aiur-planner
9m 28s
feat(aiur): Accurate whole-env sharding based on execution measurements CI Jobs #2078: Pull request #537 synchronize by samuelburnham
2m 26s sb/aiur-planner
sb/aiur-planner
2m 26s
feat(aiur): Accurate whole-env sharding based on execution measurements Nix CI #1876: Pull request #537 synchronize by samuelburnham
7m 47s sb/aiur-planner
sb/aiur-planner
7m 47s
feat(aiur): Accurate whole-env sharding based on execution measurements CI Jobs #2077: Pull request #537 synchronize by samuelburnham
4m 10s sb/aiur-planner
sb/aiur-planner
4m 10s
feat(aiur): Accurate whole-env sharding based on execution measurements CodeQL #225: Pull request #537 synchronize by samuelburnham
10m 28s sb/aiur-planner
sb/aiur-planner
10m 28s