Skip to content

Actions: argumentcomputer/ix

Actions

CI Jobs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
1,188 workflow runs
1,188 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
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
IOBuffer channels CI Jobs #1502: Pull request #425 synchronize by arthurpaulino
6m 38s ap/io-buffer-channels
ap/io-buffer-channels
6m 38s
Encode entry-function invariants on Source.Function CI Jobs #1501: Pull request #424 synchronize by arthurpaulino
6m 23s ap/no-ptr-of-entry
ap/no-ptr-of-entry
6m 23s
U8 type (#426) CI Jobs #1500: Commit 7bdeed9 pushed by gabriel-barrett
7m 46s main
main
7m 46s
U8 type CI Jobs #1499: Pull request #426 synchronize by gabriel-barrett
6m 47s u8-type
u8-type
6m 47s
U8 type CI Jobs #1498: Pull request #426 synchronize by gabriel-barrett
6m 40s u8-type
u8-type
6m 40s
U8 type CI Jobs #1497: Pull request #426 synchronize by gabriel-barrett
6m 16s u8-type
u8-type
6m 16s
feat: Bench Aiur kernel on any def in LEAN_PATH CI Jobs #1496: Pull request #427 opened by samuelburnham
6m 40s sb/aiur-bench
sb/aiur-bench
6m 40s
IOBuffer channels CI Jobs #1495: Pull request #425 synchronize by arthurpaulino
5m 34s ap/io-buffer-channels
ap/io-buffer-channels
5m 34s
Encode entry-function invariants on Source.Function CI Jobs #1494: Pull request #424 synchronize by arthurpaulino
6m 23s ap/no-ptr-of-entry
ap/no-ptr-of-entry
6m 23s
IOBuffer channels CI Jobs #1493: Pull request #425 synchronize by arthurpaulino
3m 14s ap/io-buffer-channels
ap/io-buffer-channels
3m 14s
IOBuffer channels CI Jobs #1492: Pull request #425 synchronize by arthurpaulino
2m 52s ap/io-buffer-channels
ap/io-buffer-channels
2m 52s
IOBuffer channels CI Jobs #1491: Pull request #425 opened by arthurpaulino
4m 43s ap/io-buffer-channels
ap/io-buffer-channels
4m 43s