Skip to content

Actions: opencompl/lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
5,288 workflow runs
5,288 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Label stale PRs Label stale PRs #389: Scheduled
March 18, 2025 02:05 15s master
master
March 18, 2025 02:05 15s
PR release PR release #985: completed by luisacicolini
March 17, 2025 15:01 3s
March 17, 2025 15:01 3s
PR release PR release #984: completed by luisacicolini
March 17, 2025 13:35 2s
March 17, 2025 13:35 2s
perf: Add RefVec.emptyWithCapacity to the AIG framework (#7521) CI #985: Commit 49819da pushed by luisacicolini
March 17, 2025 13:34 1h 26m 51s master
master
March 17, 2025 13:34 1h 26m 51s
perf: Add RefVec.emptyWithCapacity to the AIG framework (#7521) Nix CI #537: Commit 49819da pushed by luisacicolini
March 17, 2025 13:34 26m 59s master
master
March 17, 2025 13:34 26m 59s
perf: Add RefVec.emptyWithCapacity to the AIG framework (#7521) Update stage0 #62: Commit 49819da pushed by luisacicolini
March 17, 2025 13:34 43s master
master
March 17, 2025 13:34 43s
PR release PR release #983: completed by luisacicolini
March 17, 2025 13:31 2s
March 17, 2025 13:31 2s
feat: set of theorems Nix CI #536: Commit 73cc15e pushed by luisacicolini
March 17, 2025 13:31 2m 47s master
master
March 17, 2025 13:31 2m 47s
feat: set of theorems CI #984: Commit 73cc15e pushed by luisacicolini
March 17, 2025 13:31 3m 48s master
master
March 17, 2025 13:31 3m 48s
feat: set of theorems Update stage0 #61: Commit 73cc15e pushed by luisacicolini
March 17, 2025 13:31 39s master
master
March 17, 2025 13:31 39s
PR release PR release #982: completed by luisacicolini
March 17, 2025 13:13 3s
March 17, 2025 13:13 3s
feat: add `Bitvec.[(toInt, toFin)_twoPow, toNat_twoPow_of_le, toNat_t… CI #983: Commit 5945875 pushed by luisacicolini
March 17, 2025 13:13 18m 35s master
master
March 17, 2025 13:13 18m 35s
feat: add `Bitvec.[(toInt, toFin)_twoPow, toNat_twoPow_of_le, toNat_t… Nix CI #535: Commit 5945875 pushed by luisacicolini
March 17, 2025 13:13 18m 32s master
master
March 17, 2025 13:13 18m 32s
feat: add `Bitvec.[(toInt, toFin)_twoPow, toNat_twoPow_of_le, toNat_t… Update stage0 #60: Commit 5945875 pushed by luisacicolini
March 17, 2025 13:13 42s master
master
March 17, 2025 13:13 42s
feat: BitVec.shiftLeft_neg_eq_neg_shiftLeft (#7508) Nix CI #534: Commit 6df6011 pushed by luisacicolini
March 17, 2025 12:46 26m 48s master
master
March 17, 2025 12:46 26m 48s
feat: BitVec.shiftLeft_neg_eq_neg_shiftLeft (#7508) Update stage0 #59: Commit 6df6011 pushed by luisacicolini
March 17, 2025 12:46 41s master
master
March 17, 2025 12:46 41s
feat: BitVec.shiftLeft_neg_eq_neg_shiftLeft (#7508) CI #982: Commit 6df6011 pushed by luisacicolini
March 17, 2025 12:46 27m 4s master
master
March 17, 2025 12:46 27m 4s
PR release PR release #981: completed by luisacicolini
March 17, 2025 11:13 2s
March 17, 2025 11:13 2s
feat: Neg instance for unsigned integers (#7487) Nix CI #533: Commit 6153474 pushed by luisacicolini
March 17, 2025 09:48 49m 25s master
master
March 17, 2025 09:48 49m 25s
feat: Neg instance for unsigned integers (#7487) CI #981: Commit 6153474 pushed by luisacicolini
March 17, 2025 09:48 1h 25m 33s master
master
March 17, 2025 09:48 1h 25m 33s
feat: Neg instance for unsigned integers (#7487) Update stage0 #58: Commit 6153474 pushed by luisacicolini
March 17, 2025 09:48 35s master
master
March 17, 2025 09:48 35s
PR release PR release #980: completed by alexkeizer
March 17, 2025 07:01 2s
March 17, 2025 07:01 2s
CI CI #980: Scheduled
March 17, 2025 07:01 21s master
master
March 17, 2025 07:01 21s
Label stale PRs Label stale PRs #388: Scheduled
March 17, 2025 02:06 11s master
master
March 17, 2025 02:06 11s
PR release PR release #979: completed by alexkeizer
March 16, 2025 07:01 2s
March 16, 2025 07:01 2s