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
Relay benchmark comment Benchmark pull requests #376: Issue comment #45 (comment) created by hopefulobject
2s
2s
release: Ix v0.1, Archimedes Bencher thresholds reset #304: Issue comment #45 (comment) created by hopefulobject
1s
1s
IxVM: cheaper shard checking via an addr-first kernel, plus soundness hardening Bencher thresholds reset #303: Pull request #529 closed by johnchandlerburnham
8s
8s
IxVM: cheaper shard checking via an addr-first kernel, plus soundness… Nix CI #1814: Commit 80bb41f pushed by johnchandlerburnham
4m 47s main
main
4m 47s
IxVM: cheaper shard checking via an addr-first kernel, plus soundness… CI Jobs #2016: Commit 80bb41f pushed by johnchandlerburnham
11m 20s main
main
11m 20s
IxVM: cheaper shard checking via an addr-first kernel, plus soundness… Extended CI tests #161: Commit 80bb41f pushed by johnchandlerburnham
27m 3s main
main
27m 3s
IxVM: cheaper shard checking via an addr-first kernel, plus soundness… Benchmark main #74: Commit 80bb41f pushed by johnchandlerburnham
15m 15s main
main
15m 15s
IxVM: cheaper shard checking via an addr-first kernel, plus soundness… CodeQL #164: Commit 80bb41f pushed by johnchandlerburnham
10m 52s main
main
10m 52s
IxVM: cheaper shard checking via an addr-first kernel, plus soundness hardening Nix CI #1813: Pull request #529 synchronize by arthurpaulino
12m 16s ap/ixvm4
ap/ixvm4
12m 16s
IxVM: cheaper shard checking via an addr-first kernel, plus soundness hardening CodeQL #163: Pull request #529 synchronize by arthurpaulino
9m 40s ap/ixvm4
ap/ixvm4
9m 40s
IxVM: cheaper shard checking via an addr-first kernel, plus soundness hardening CI Jobs #2015: Pull request #529 synchronize by arthurpaulino
10m 38s ap/ixvm4
ap/ixvm4
10m 38s
IxVM: cheaper shard checking via an addr-first kernel, plus soundness hardening Nix CI #1812: Pull request #529 synchronize by arthurpaulino
8m 5s ap/ixvm4
ap/ixvm4
8m 5s
IxVM: cheaper shard checking via an addr-first kernel, plus soundness hardening CI Jobs #2014: Pull request #529 synchronize by arthurpaulino
10m 46s ap/ixvm4
ap/ixvm4
10m 46s
IxVM: cheaper shard checking via an addr-first kernel, plus soundness hardening CodeQL #162: Pull request #529 synchronize by arthurpaulino
9m 21s ap/ixvm4
ap/ixvm4
9m 21s
IxVM: cheaper shard checking via an addr-first kernel, plus soundness hardening CodeQL #161: Pull request #529 synchronize by arthurpaulino
9m 11s ap/ixvm4
ap/ixvm4
9m 11s
IxVM: cheaper shard checking via an addr-first kernel, plus soundness hardening Nix CI #1811: Pull request #529 synchronize by arthurpaulino
8m 18s ap/ixvm4
ap/ixvm4
8m 18s
IxVM: cheaper shard checking via an addr-first kernel, plus soundness hardening CI Jobs #2013: Pull request #529 synchronize by arthurpaulino
11m 13s ap/ixvm4
ap/ixvm4
11m 13s
IxVM: cheaper shard checking via an addr-first kernel, plus soundness hardening Nix CI #1810: Pull request #529 synchronize by arthurpaulino
8m 41s ap/ixvm4
ap/ixvm4
8m 41s
IxVM: cheaper shard checking via an addr-first kernel, plus soundness hardening CI Jobs #2012: Pull request #529 synchronize by arthurpaulino
10m 47s ap/ixvm4
ap/ixvm4
10m 47s
IxVM: cheaper shard checking via an addr-first kernel, plus soundness hardening CodeQL #160: Pull request #529 synchronize by arthurpaulino
9m 33s ap/ixvm4
ap/ixvm4
9m 33s
IxVM: cheaper shard checking via an addr-first kernel, plus soundness hardening CI Jobs #2011: Pull request #529 synchronize by arthurpaulino
10m 38s ap/ixvm4
ap/ixvm4
10m 38s
IxVM: cheaper shard checking via an addr-first kernel, plus soundness hardening Nix CI #1809: Pull request #529 synchronize by arthurpaulino
8m 4s ap/ixvm4
ap/ixvm4
8m 4s
IxVM: cheaper shard checking via an addr-first kernel, plus soundness hardening CodeQL #159: Pull request #529 synchronize by arthurpaulino
11m 1s ap/ixvm4
ap/ixvm4
11m 1s
formalization(tc): verify WHNF, inference, DefEq, and the recursive method knot Nix CI #1808: Pull request #528 synchronize by johnchandlerburnham
4m 42s jcb/formalization
jcb/formalization
4m 42s
formalization(tc): verify WHNF, inference, DefEq, and the recursive method knot CI Jobs #2010: Pull request #528 synchronize by johnchandlerburnham
16m 30s jcb/formalization
jcb/formalization
16m 30s