Skip to content

Actions: argumentcomputer/ix

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,838 workflow runs
2,838 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Serialization of constants Nix CI #836: Pull request #311 opened by gabriel-barrett
15m 2s new-serialization
new-serialization
15m 2s
Serialization of constants CI Jobs #1038: Pull request #311 opened by gabriel-barrett
7m 57s new-serialization
new-serialization
7m 57s
PR #311 CodeQL #545: by gabriel-barrett
55s refs/pull/311/head
refs/pull/311/head
55s
Ixon Expr serialization (#309) Benchmark Ix compiler #35: Commit c424667 pushed by gabriel-barrett
6m 12s main
main
6m 12s
Ixon Expr serialization (#309) Nix CI #835: Commit c424667 pushed by gabriel-barrett
12m 18s main
main
12m 18s
Ixon Expr serialization (#309) CI Jobs #1037: Commit c424667 pushed by gabriel-barrett
8m 10s main
main
8m 10s
Push on main CodeQL #544: by gabriel-barrett
1m 2s main
main
1m 2s
chore: Update Lean to v4.27.0 CI Jobs #1036: Pull request #310 synchronize by samuelburnham
8m 47s lean-v4.27.0
lean-v4.27.0
8m 47s
chore: Update Lean to v4.27.0 Nix CI #834: Pull request #310 synchronize by samuelburnham
11m 2s lean-v4.27.0
lean-v4.27.0
11m 2s
PR #310 CodeQL #543: by samuelburnham
1m 7s refs/pull/310/head
refs/pull/310/head
1m 7s
chore: Update Lean to v4.27.0 Nix CI #833: Pull request #310 opened by samuelburnham
51s lean-v4.27.0
lean-v4.27.0
51s
chore: Update Lean to v4.27.0 CI Jobs #1035: Pull request #310 opened by samuelburnham
51s lean-v4.27.0
lean-v4.27.0
51s
PR #310 CodeQL #542: by samuelburnham
1m 3s refs/pull/310/head
refs/pull/310/head
1m 3s
Add DAG-based kernel typechecker Nix CI #832: Pull request #300 synchronize by johnchandlerburnham
12m 12s jcb/rust-kernel
jcb/rust-kernel
12m 12s
Add DAG-based kernel typechecker CI Jobs #1034: Pull request #300 synchronize by johnchandlerburnham
8m 10s jcb/rust-kernel
jcb/rust-kernel
8m 10s
PR #300 CodeQL #541: by johnchandlerburnham
1m 5s refs/pull/300/head
refs/pull/300/head
1m 5s
Ixon Expr serialization CI Jobs #1033: Pull request #309 synchronize by arthurpaulino
8m 27s new-serialization
new-serialization
8m 27s
Ixon Expr serialization Nix CI #831: Pull request #309 synchronize by arthurpaulino
10m 35s new-serialization
new-serialization
10m 35s
PR #309 CodeQL #540: by arthurpaulino
1m 0s refs/pull/309/head
refs/pull/309/head
1m 0s
Add DAG-based kernel typechecker CI Jobs #1032: Pull request #300 synchronize by johnchandlerburnham
8m 7s jcb/rust-kernel
jcb/rust-kernel
8m 7s
Add DAG-based kernel typechecker Nix CI #830: Pull request #300 synchronize by johnchandlerburnham
12m 15s jcb/rust-kernel
jcb/rust-kernel
12m 15s
PR #300 CodeQL #539: by johnchandlerburnham
1m 8s refs/pull/300/head
refs/pull/300/head
1m 8s
Add DAG-based kernel typechecker Nix CI #829: Pull request #300 synchronize by johnchandlerburnham
6m 53s jcb/rust-kernel
jcb/rust-kernel
6m 53s
Add DAG-based kernel typechecker CI Jobs #1031: Pull request #300 synchronize by johnchandlerburnham
6m 52s jcb/rust-kernel
jcb/rust-kernel
6m 52s
PR #300 CodeQL #538: by johnchandlerburnham
1m 3s refs/pull/300/head
refs/pull/300/head
1m 3s