Skip to content

Actions: argumentcomputer/ix

Actions

Extended CI tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ignored.yml
100 workflow runs
100 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) Extended CI tests #100: Commit 0f8eef5 pushed by samuelburnham
9m 30s main
main
9m 30s
UTF-8 typechecking unblocked (#451) Extended CI tests #99: Commit 62e0a0f pushed by arthurpaulino
9m 19s main
main
9m 19s
IxVM kernel: unblock UTF-8 decode/encode proof + Nat-layer FFT cuts (… Extended CI tests #98: Commit ad7e383 pushed by arthurpaulino
10m 18s main
main
10m 18s
Recursive verifier (#440) Extended CI tests #97: Commit c44417c pushed by gabriel-barrett
10m 8s main
main
10m 8s
Update memmap2 (#453) Extended CI tests #96: Commit d0bed73 pushed by arthurpaulino
9m 14s main
main
9m 14s
ci: Add Aiur compile + typecheck benchmark workflow (#449) Extended CI tests #95: Commit aaa7dc0 pushed by samuelburnham
8m 46s main
main
8m 46s
IxVM kernel: canonical level normalization + FFT-cost pinning (#447) Extended CI tests #94: Commit 59a4183 pushed by arthurpaulino
9m 25s main
main
9m 25s
Ixon: lazy, zero-copy anon env load for the Aiur check path (#445) Extended CI tests #93: Commit e9699ee pushed by samuelburnham
9m 7s main
main
9m 7s
chore: Fix the Ix compiler CI benchmark (#446) Extended CI tests #92: Commit 187c4e5 pushed by samuelburnham
8m 39s main
main
8m 39s
Aiur: flat append-only QueryMap + env-gated record-size stats (#444) Extended CI tests #91: Commit 029be26 pushed by samuelburnham
9m 25s main
main
9m 25s
Aiur: drop the tag slot for single-variant enums (#443) Extended CI tests #90: Commit 3c09339 pushed by arthurpaulino
9m 14s main
main
9m 14s
IxVM kernel: cut Aiur FFT cost on reduction- and check-heavy shards (… Extended CI tests #89: Commit 096fe8e pushed by arthurpaulino
8m 47s main
main
8m 47s
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
Jcb/kernel sharding (#436) Extended CI tests #87: Commit 2d41a96 pushed by arthurpaulino
9m 18s main
main
9m 18s
Aiur: support non-tail match on a non-variable scrutinee (#435) Extended CI tests #86: Commit e2794c9 pushed by arthurpaulino
9m 20s main
main
9m 20s
IxVM: cut Aiur-kernel ingress cost (per-pass width + CheckEnv ingest-… Extended CI tests #85: Commit 3fe83fe pushed by arthurpaulino
8m 58s main
main
8m 58s
Ix CLI claim/prove/verify pipeline + RBTreeMap-backed ingress (#431) Extended CI tests #84: Commit 11996af pushed by arthurpaulino
9m 10s main
main
9m 10s
IOBuffer channels (#425) Extended CI tests #83: Commit 81da2cc pushed by arthurpaulino
9m 6s main
main
9m 6s
Encode entry-function invariants on Source.Function (#424) Extended CI tests #82: Commit 016c6c7 pushed by arthurpaulino
8m 48s main
main
8m 48s
U8 type (#426) Extended CI tests #81: Commit 7bdeed9 pushed by gabriel-barrett
9m 11s main
main
9m 11s
IxVM kernel: Ixon Claim-shaped entrypoint (#423) Extended CI tests #80: Commit 7e6a02d pushed by arthurpaulino
9m 2s main
main
9m 2s
Lazy env, anon-mode kernel check, and ZK-aggregation foundations (#415) Extended CI tests #79: Commit fa93e54 pushed by johnchandlerburnham
9m 2s main
main
9m 2s
fixed goldilocks extension degree (#422) Extended CI tests #78: Commit ac459a3 pushed by gabriel-barrett
8m 54s main
main
8m 54s
Bytes chip optimization and new operations (#421) Extended CI tests #77: Commit 362fd38 pushed by gabriel-barrett
10m 23s main
main
10m 23s
Blake3 refactor (#420) Extended CI tests #76: Commit b762c15 pushed by gabriel-barrett
8m 20s main
main
8m 20s