Skip to content

Actions: argumentcomputer/ix

Actions

CI Jobs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
1,187 workflow runs
1,187 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
Jcb/kernel sharding CI Jobs #1527: Pull request #436 synchronize by johnchandlerburnham
6m 15s jcb/kernel-sharding
jcb/kernel-sharding
6m 15s
Jcb/kernel sharding CI Jobs #1526: Pull request #436 opened by johnchandlerburnham
6m 7s jcb/kernel-sharding
jcb/kernel-sharding
6m 7s
IxVM: context-suffix memo keys for closed terms + drop dead KValNode CI Jobs #1525: Pull request #433 synchronize by arthurpaulino
6m 4s ap/kernel
ap/kernel
6m 4s
Aiur: support non-tail match on a non-variable scrutinee (#435) CI Jobs #1524: Commit e2794c9 pushed by arthurpaulino
6m 21s main
main
6m 21s
Aiur: support non-tail match on a non-variable scrutinee CI Jobs #1523: Pull request #435 opened by arthurpaulino
6m 23s ap/non-tail-match
ap/non-tail-match
6m 23s
chore(deps): bump the rust-minor group across 1 directory with 3 updates CI Jobs #1522: Pull request #434 opened by dependabot Bot
5m 37s dependabot-cargo-rust-minor-b0009a9882
dependabot-cargo-rust-minor-b0009a9882
5m 37s
IxVM: context-suffix memo keys for closed terms + drop dead KValNode CI Jobs #1521: Pull request #433 synchronize by arthurpaulino
6m 6s ap/kernel
ap/kernel
6m 6s
IxVM: cut Aiur-kernel ingress cost (per-pass width + CheckEnv ingest-… CI Jobs #1520: Commit 3fe83fe pushed by arthurpaulino
6m 25s main
main
6m 25s
IxVM: context-suffix memo keys for closed terms + drop dead KValNode CI Jobs #1519: Pull request #433 opened by arthurpaulino
6m 16s ap/kernel
ap/kernel
6m 16s
IxVM: cut Aiur-kernel ingress cost (per-pass width + CheckEnv ingest-once) CI Jobs #1518: Pull request #432 synchronize by arthurpaulino
6m 9s ap/ingress
ap/ingress
6m 9s
IxVM: cut Aiur-kernel ingress cost (per-pass width + CheckEnv ingest-once) CI Jobs #1517: Pull request #432 opened by arthurpaulino
5m 20s ap/ingress
ap/ingress
5m 20s
Ix CLI claim/prove/verify pipeline + RBTreeMap-backed ingress (#431) CI Jobs #1516: Commit 11996af pushed by arthurpaulino
6m 50s main
main
6m 50s
Ix CLI claim/prove/verify pipeline + RBTreeMap-backed ingress CI Jobs #1515: Pull request #431 opened by arthurpaulino
6m 50s ap/cli-and-kernel
ap/cli-and-kernel
6m 50s
IxVM kernel: RBTreeMap-backed ingress + aligned ix prove/ix check CLI CI Jobs #1514: Pull request #430 opened by arthurpaulino
6m 21s ap/kernel
ap/kernel
6m 21s
Add ix claim/prove/verify pipeline; ix check becomes the Aiur kernel runner CI Jobs #1513: Pull request #428 synchronize by arthurpaulino
6m 36s ap/arena
ap/arena
6m 36s
Add ix claim/prove/verify pipeline; ix check becomes the Aiur kernel runner CI Jobs #1512: Pull request #428 synchronize by arthurpaulino
7m 4s ap/arena
ap/arena
7m 4s
IOBuffer channels (#425) CI Jobs #1511: Commit 81da2cc pushed by arthurpaulino
8m 40s main
main
8m 40s
Add ix claim/prove/verify pipeline; ix check becomes the Aiur kernel runner CI Jobs #1510: Pull request #428 synchronize by arthurpaulino
6m 20s ap/arena
ap/arena
6m 20s
Add ix claim/prove/verify pipeline; ix check becomes the Aiur kernel runner CI Jobs #1509: Pull request #428 synchronize by arthurpaulino
6m 17s ap/arena
ap/arena
6m 17s
IOBuffer channels CI Jobs #1508: Pull request #425 synchronize by arthurpaulino
7m 0s ap/io-buffer-channels
ap/io-buffer-channels
7m 0s
Encode entry-function invariants on Source.Function (#424) CI Jobs #1507: Commit 016c6c7 pushed by arthurpaulino
7m 3s main
main
7m 3s
Add ix claim/prove/verify pipeline; ix check becomes the Aiur kernel runner CI Jobs #1506: Pull request #428 synchronize by arthurpaulino
6m 3s ap/arena
ap/arena
6m 3s
Add ix claim/prove/verify pipeline; ix check becomes the Aiur kernel runner CI Jobs #1505: Pull request #428 synchronize by arthurpaulino
6m 46s ap/arena
ap/arena
6m 46s
Add ix claim/prove/verify pipeline; ix check becomes the Aiur kernel runner CI Jobs #1504: Pull request #428 synchronize by arthurpaulino
4h 9m 12s ap/arena
ap/arena
4h 9m 12s
chore(deps): bump the rust-minor group across 1 directory with 2 updates CI Jobs #1503: Pull request #429 opened by dependabot Bot
7m 45s dependabot-cargo-rust-minor-078d33060f
dependabot-cargo-rust-minor-078d33060f
7m 45s