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
feat: Add SP1 and Zisk kernel proving backends CI Jobs #1423: Pull request #411 synchronize by samuelburnham
5m 22s kernel-riscv
kernel-riscv
5m 22s
feat: Add SP1 and Zisk kernel proving backends Nix CI #1221: Pull request #411 synchronize by samuelburnham
4m 27s kernel-riscv
kernel-riscv
4m 27s
PR #411 CodeQL #938: by samuelburnham
14m 11s refs/pull/411/head
refs/pull/411/head
14m 11s
feat: Add SP1 and Zisk kernel proving backends CI Jobs #1422: Pull request #411 synchronize by samuelburnham
5m 32s kernel-riscv
kernel-riscv
5m 32s
feat: Add SP1 and Zisk kernel proving backends Nix CI #1220: Pull request #411 synchronize by samuelburnham
6m 3s kernel-riscv
kernel-riscv
6m 3s
PR #411 CodeQL #937: by samuelburnham
14m 16s refs/pull/411/head
refs/pull/411/head
14m 16s
feat: Add SP1 and Zisk kernel proving backends Nix CI #1219: Pull request #411 opened by samuelburnham
4m 10s kernel-riscv
kernel-riscv
4m 10s
feat: Add SP1 and Zisk kernel proving backends CI Jobs #1421: Pull request #411 opened by samuelburnham
9m 8s kernel-riscv
kernel-riscv
9m 8s
PR #411 CodeQL #936: by samuelburnham
14m 12s refs/pull/411/head
refs/pull/411/head
14m 12s
Aiur kernel: u8_mul gadget + multiplication/arithmetic cleanups Nix CI #1218: Pull request #410 opened by arthurpaulino
8m 2s ap/kernel-opts
ap/kernel-opts
8m 2s
Aiur kernel: u8_mul gadget + multiplication/arithmetic cleanups CI Jobs #1420: Pull request #410 opened by arthurpaulino
6m 25s ap/kernel-opts
ap/kernel-opts
6m 25s
PR #410 CodeQL #935: by arthurpaulino
5m 28s refs/pull/410/head
refs/pull/410/head
5m 28s
Aiur verified-compiler proof scaffolding Nix CI #1217: Pull request #399 synchronize by arthurpaulino
8m 52s ap/aiur-compiler
ap/aiur-compiler
8m 52s
Aiur verified-compiler proof scaffolding CI Jobs #1419: Pull request #399 synchronize by arthurpaulino
7m 24s ap/aiur-compiler
ap/aiur-compiler
7m 24s
PR #399 CodeQL #934: by arthurpaulino
5m 32s refs/pull/399/head
refs/pull/399/head
5m 32s
Aiur kernel: complete port from Rust reference + kernel-arena coverag… Benchmark Ix compiler #94: Commit a94a82a pushed by arthurpaulino
8m 37s main
main
8m 37s
Aiur kernel: complete port from Rust reference + kernel-arena coverag… Nix CI #1216: Commit a94a82a pushed by arthurpaulino
5m 14s main
main
5m 14s
Aiur kernel: complete port from Rust reference + kernel-arena coverag… Extended CI tests #68: Commit a94a82a pushed by arthurpaulino
9m 13s main
main
9m 13s
Aiur kernel: complete port from Rust reference + kernel-arena coverag… CI Jobs #1418: Commit a94a82a pushed by arthurpaulino
6m 3s main
main
6m 3s
Push on main CodeQL #933: by arthurpaulino
5m 36s main
main
5m 36s
Aiur kernel: complete port from Rust reference + kernel-arena coverage Nix CI #1215: Pull request #398 synchronize by arthurpaulino
6m 10s ap/kernel
ap/kernel
6m 10s
Aiur kernel: complete port from Rust reference + kernel-arena coverage CI Jobs #1417: Pull request #398 synchronize by arthurpaulino
6m 33s ap/kernel
ap/kernel
6m 33s
PR #398 CodeQL #932: by arthurpaulino
5m 16s refs/pull/398/head
refs/pull/398/head
5m 16s
chore(deps): bump the rust-minor group across 1 directory with 10 updates Benchmark pull requests #7: Issue comment #403 (comment) created by dependabot Bot
2s
2s
chore(deps): bump tokio from 1.52.1 to 1.52.2 in the rust-minor group across 1 directory Nix CI #1214: Pull request #409 opened by dependabot Bot
6m 34s dependabot-cargo-rust-minor-6abb98af4c
dependabot-cargo-rust-minor-6abb98af4c
6m 34s