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
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #7: Scheduled
49s main
main
49s
Keep IxVM lazy defeq bounded on open Nat terms Bencher thresholds reset #425: Pull request #562 closed by arthurpaulino
8s
8s
Keep IxVM lazy defeq bounded on open Nat terms (#562) Benchmark main #101: Commit 6e10865 pushed by arthurpaulino
14m 20s main
main
14m 20s
Keep IxVM lazy defeq bounded on open Nat terms (#562) CodeQL #318: Commit 6e10865 pushed by arthurpaulino
3m 53s main
main
3m 53s
Keep IxVM lazy defeq bounded on open Nat terms (#562) Nix CI #1968: Commit 6e10865 pushed by arthurpaulino
4m 14s main
main
4m 14s
Keep IxVM lazy defeq bounded on open Nat terms (#562) Extended CI tests #189: Commit 6e10865 pushed by arthurpaulino
24m 17s main
main
24m 17s
Keep IxVM lazy defeq bounded on open Nat terms (#562) CI Jobs #2170: Commit 6e10865 pushed by arthurpaulino
10m 52s main
main
10m 52s
KZG recursive verifier Nix CI #1967: Pull request #563 synchronize by gabriel-barrett
1m 20s kzg
kzg
1m 20s
KZG recursive verifier CodeQL #317: Pull request #563 synchronize by gabriel-barrett
11m 12s kzg
kzg
11m 12s
KZG recursive verifier CI Jobs #2169: Pull request #563 synchronize by gabriel-barrett
7m 53s kzg
kzg
7m 53s
KZG recursive verifier Nix CI #1966: Pull request #563 synchronize by gabriel-barrett
17m 29s kzg
kzg
17m 29s
KZG recursive verifier CI Jobs #2168: Pull request #563 synchronize by gabriel-barrett
21m 13s kzg
kzg
21m 13s
KZG recursive verifier CodeQL #316: Pull request #563 synchronize by gabriel-barrett
12m 13s kzg
kzg
12m 13s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #6: Scheduled
47s main
main
47s
KZG recursive verifier CodeQL #315: Pull request #563 synchronize by gabriel-barrett
11m 0s kzg
kzg
11m 0s
KZG recursive verifier CI Jobs #2167: Pull request #563 synchronize by gabriel-barrett
14m 39s kzg
kzg
14m 39s
KZG recursive verifier Nix CI #1965: Pull request #563 synchronize by gabriel-barrett
7m 1s kzg
kzg
7m 1s
KZG recursive verifier Nix CI #1964: Pull request #563 synchronize by gabriel-barrett
5m 6s kzg
kzg
5m 6s
KZG recursive verifier CodeQL #314: Pull request #563 synchronize by gabriel-barrett
9m 41s kzg
kzg
9m 41s
KZG recursive verifier CI Jobs #2166: Pull request #563 synchronize by gabriel-barrett
5m 4s kzg
kzg
5m 4s
KZG recursive verifier CodeQL #313: Pull request #563 synchronize by gabriel-barrett
9m 44s kzg
kzg
9m 44s
KZG recursive verifier Nix CI #1963: Pull request #563 synchronize by gabriel-barrett
13m 55s kzg
kzg
13m 55s
KZG recursive verifier CI Jobs #2165: Pull request #563 synchronize by gabriel-barrett
14m 19s kzg
kzg
14m 19s
KZG recursive verifier Nix CI #1962: Pull request #563 synchronize by gabriel-barrett
6m 12s kzg
kzg
6m 12s
KZG recursive verifier CodeQL #312: Pull request #563 synchronize by gabriel-barrett
10m 28s kzg
kzg
10m 28s