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
Review fixes: kernel soundness, untrusted-input hardening, perf, CI CI Jobs #1536: Pull request #439 opened by johnchandlerburnham
3m 19s jcb/fixes
jcb/fixes
3m 19s
Review fixes: kernel soundness, untrusted-input hardening, perf, CI Nix CI #1334: Pull request #439 opened by johnchandlerburnham
7m 32s jcb/fixes
jcb/fixes
7m 32s
PR #439 CodeQL #1045: by johnchandlerburnham
6m 43s refs/pull/439/head
refs/pull/439/head
6m 43s
IxVM kernel: cut Aiur FFT cost on reduction- and check-heavy shards CI Jobs #1535: Pull request #438 synchronize by arthurpaulino
5m 45s ap/optimize
ap/optimize
5m 45s
IxVM kernel: cut Aiur FFT cost on reduction- and check-heavy shards Nix CI #1333: Pull request #438 synchronize by arthurpaulino
7m 0s ap/optimize
ap/optimize
7m 0s
PR #438 CodeQL #1044: by arthurpaulino
6m 15s refs/pull/438/head
refs/pull/438/head
6m 15s
feat: Add SP1 and Zisk kernel proving backends CI Jobs #1534: Pull request #411 synchronize by samuelburnham
7m 29s kernel-riscv
kernel-riscv
7m 29s
feat: Add SP1 and Zisk kernel proving backends Nix CI #1332: Pull request #411 synchronize by samuelburnham
7m 24s kernel-riscv
kernel-riscv
7m 24s
PR #411 CodeQL #1043: by samuelburnham
15m 52s refs/pull/411/head
refs/pull/411/head
15m 52s
IxVM kernel: cut Aiur FFT cost on reduction- and check-heavy shards Nix CI #1331: Pull request #438 opened by arthurpaulino
5m 12s ap/optimize
ap/optimize
5m 12s
IxVM kernel: cut Aiur FFT cost on reduction- and check-heavy shards CI Jobs #1533: Pull request #438 opened by arthurpaulino
6m 7s ap/optimize
ap/optimize
6m 7s
PR #438 CodeQL #1042: by arthurpaulino
5m 49s refs/pull/438/head
refs/pull/438/head
5m 49s
chore(deps): bump the rust-minor group across 1 directory with 3 updates Nix CI #1330: Pull request #434 synchronize by dependabot Bot
6m 30s dependabot-cargo-rust-minor-b0009a9882
dependabot-cargo-rust-minor-b0009a9882
6m 30s
chore(deps): bump the rust-minor group across 1 directory with 3 updates CI Jobs #1532: Pull request #434 synchronize by dependabot Bot
6m 25s dependabot-cargo-rust-minor-b0009a9882
dependabot-cargo-rust-minor-b0009a9882
6m 25s
cargo in / for mimalloc, dashmap, tokio - Update #1405366884 Dependabot Updates #283: by dependabot Bot
2m 26s main
main
2m 26s
github_actions in /. - Update #1405366851 Dependabot Updates #282: by dependabot Bot
1m 10s main
main
1m 10s
cargo in /. - Update #1405366820 Dependabot Updates #281: by dependabot Bot
40s main
main
40s
Sharding: per-shard check / prove / verify on the IxVM kernel (#437) Benchmark Ix compiler #114: Commit 623be4b pushed by arthurpaulino
6m 35s main
main
6m 35s
Sharding: per-shard check / prove / verify on the IxVM kernel (#437) Nix CI #1329: Commit 623be4b pushed by arthurpaulino
4m 35s main
main
4m 35s
Sharding: per-shard check / prove / verify on the IxVM kernel (#437) Extended CI tests #88: Commit 623be4b pushed by arthurpaulino
8m 53s main
main
8m 53s
Sharding: per-shard check / prove / verify on the IxVM kernel (#437) CI Jobs #1531: Commit 623be4b pushed by arthurpaulino
6m 18s main
main
6m 18s
Push on main CodeQL #1041: by arthurpaulino
6m 25s main
main
6m 25s
Sharding: per-shard check / prove / verify on the IxVM kernel Nix CI #1328: Pull request #437 synchronize by arthurpaulino
4m 35s ap/sharding
ap/sharding
4m 35s
Sharding: per-shard check / prove / verify on the IxVM kernel CI Jobs #1530: Pull request #437 synchronize by arthurpaulino
6m 26s ap/sharding
ap/sharding
6m 26s
PR #437 CodeQL #1040: by arthurpaulino
6m 33s refs/pull/437/head
refs/pull/437/head
6m 33s