Skip to content

Actions: opencompl/lean4

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

perf: async optimizations for Init.Data.BitVec.Lemmas (#7546) CI #988: Commit 53fcae0 pushed by luisacicolini
March 18, 2025 14:55 1h 12m 33s master
master
March 18, 2025 14:55 1h 12m 33s
PR release PR release #987: completed by luisacicolini
March 18, 2025 11:32 2s
March 18, 2025 11:32 2s
feat: Nat, Fin and BitVec theorems required for unsigned intege… Nix CI #538: Commit 6a202f5 pushed by luisacicolini
March 18, 2025 10:22 58m 1s master
master
March 18, 2025 10:22 58m 1s
feat: Nat, Fin and BitVec theorems required for unsigned intege… Update stage0 #63: Commit 6a202f5 pushed by luisacicolini
March 18, 2025 10:22 47s master
master
March 18, 2025 10:22 47s
feat: Nat, Fin and BitVec theorems required for unsigned intege… CI #987: Commit 6a202f5 pushed by luisacicolini
March 18, 2025 10:22 1h 10m 12s master
master
March 18, 2025 10:22 1h 10m 12s
PR release PR release #986: completed by alexkeizer
March 18, 2025 07:01 1s
March 18, 2025 07:01 1s
CI CI #986: Scheduled
March 18, 2025 07:01 21s master
master
March 18, 2025 07:01 21s
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