Skip to content

Actions: argumentcomputer/ix

Actions

CI Jobs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
1,209 workflow runs
1,209 workflow runs

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
fix: Elaborate the source body in getFileEnv (#456) CI Jobs #1616: Commit 0f8eef5 pushed by samuelburnham
7m 13s main
main
7m 13s
fix: Elaborate the source body in getFileEnv CI Jobs #1615: Pull request #456 synchronize by samuelburnham
7m 22s fix-getfileenv
fix-getfileenv
7m 22s
fix: Elaborate the source body in getFileEnv CI Jobs #1614: Pull request #456 opened by samuelburnham
5m 0s fix-getfileenv
fix-getfileenv
5m 0s
IxVM kernel: klimbs_pow via binary exponentiation CI Jobs #1613: Pull request #455 opened by arthurpaulino
7m 16s ap/klimbs-pow-binary-exp
ap/klimbs-pow-binary-exp
7m 16s
UTF-8 typechecking unblocked (#451) CI Jobs #1612: Commit 62e0a0f pushed by arthurpaulino
7m 31s main
main
7m 31s
feat: Add SP1 and Zisk kernel proving backends CI Jobs #1611: Pull request #411 synchronize by samuelburnham
14m 48s kernel-riscv
kernel-riscv
14m 48s
IxVM kernel: unblock ByteArray.utf8DecodeChar?_utf8EncodeChar_append CI Jobs #1610: Pull request #451 synchronize by arthurpaulino
6m 56s ap/utf8-mod-witness
ap/utf8-mod-witness
6m 56s
feat: Add SP1 and Zisk kernel proving backends CI Jobs #1609: Pull request #411 synchronize by samuelburnham
43m 2s kernel-riscv
kernel-riscv
43m 2s
IxVM kernel: unblock ByteArray.utf8DecodeChar?_utf8EncodeChar_append CI Jobs #1608: Pull request #451 synchronize by arthurpaulino
7m 49s ap/utf8-mod-witness
ap/utf8-mod-witness
7m 49s
IxVM kernel: unblock UTF-8 decode/encode proof + Nat-layer FFT cuts (… CI Jobs #1607: Commit ad7e383 pushed by arthurpaulino
7m 27s main
main
7m 27s
feat: Add SP1 and Zisk kernel proving backends CI Jobs #1606: Pull request #411 synchronize by samuelburnham
3m 1s kernel-riscv
kernel-riscv
3m 1s
chore(deps): bump the actions group across 1 directory with 2 updates CI Jobs #1605: Pull request #452 synchronize by dependabot Bot
8m 13s dependabot/github_actions/actions-02325a8da5
dependabot/github_actions/actions-02325a8da5
8m 13s
IxVM kernel: unblock UTF-8 decode/encode proof + Nat-layer FFT cuts CI Jobs #1604: Pull request #450 synchronize by arthurpaulino
7m 11s ap/utf8-tier-1d
ap/utf8-tier-1d
7m 11s
Recursive verifier (#440) CI Jobs #1603: Commit c44417c pushed by gabriel-barrett
7m 38s main
main
7m 38s
Recursive verifier CI Jobs #1602: Pull request #440 synchronize by gabriel-barrett
7m 20s recursive-verifier
recursive-verifier
7m 20s
chore(deps): bump the rust-minor group across 1 directory with 3 updates CI Jobs #1601: Pull request #434 synchronize by dependabot Bot
8m 41s dependabot-cargo-rust-minor-b0009a9882
dependabot-cargo-rust-minor-b0009a9882
8m 41s
Update memmap2 (#453) CI Jobs #1600: Commit d0bed73 pushed by arthurpaulino
7m 17s main
main
7m 17s
feat: Add SP1 and Zisk kernel proving backends CI Jobs #1599: Pull request #411 synchronize by samuelburnham
23m 59s kernel-riscv
kernel-riscv
23m 59s
Recursive verifier CI Jobs #1598: Pull request #440 synchronize by gabriel-barrett
6m 33s recursive-verifier
recursive-verifier
6m 33s
Update memmap2 CI Jobs #1597: Pull request #453 opened by arthurpaulino
8m 26s ap/fix-cargo-deny
ap/fix-cargo-deny
8m 26s
feat: Add SP1 and Zisk kernel proving backends CI Jobs #1596: Pull request #411 synchronize by samuelburnham
13m 2s kernel-riscv
kernel-riscv
13m 2s
feat: Add SP1 and Zisk kernel proving backends CI Jobs #1595: Pull request #411 synchronize by samuelburnham
10m 27s kernel-riscv
kernel-riscv
10m 27s
feat: Add SP1 and Zisk kernel proving backends CI Jobs #1594: Pull request #411 synchronize by samuelburnham
6m 50s kernel-riscv
kernel-riscv
6m 50s
IxVM kernel: unblock UTF-8 decode/encode proof + Nat-layer FFT cuts CI Jobs #1593: Pull request #450 synchronize by arthurpaulino
6m 17s ap/utf8-tier-1d
ap/utf8-tier-1d
6m 17s
Recursive verifier CI Jobs #1592: Pull request #440 synchronize by gabriel-barrett
7m 27s recursive-verifier
recursive-verifier
7m 27s