Skip to content

Actions: leanprover/lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
96,401 workflow run results
96,401 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: parity between structure instance notation and where notation Restart by label #1899: Pull request #6165 labeled by kmill
November 21, 2024 22:47 2s
November 21, 2024 22:47 2s
feat: parity between structure instance notation and where notation Backport #5345: Pull request #6165 labeled by kmill
November 21, 2024 22:47 2s
November 21, 2024 22:47 2s
feat: BitVec.toInt BitVec.signExtend Backport #5344: Pull request #6157 labeled by kim-em
November 21, 2024 22:46 2s
November 21, 2024 22:46 2s
feat: BitVec.toInt BitVec.signExtend Restart by label #1898: Pull request #6157 labeled by kim-em
November 21, 2024 22:46 3s
November 21, 2024 22:46 3s
feat: BitVec.toInt BitVec.signExtend Check PR body for changelog convention #868: Pull request #6157 labeled by kim-em
November 21, 2024 22:46 11s opencompl:toInt_signExtend
opencompl:toInt_signExtend
November 21, 2024 22:46 11s
feat: BitVec.toNat BitVec.signExtend Check PR body for changelog convention #867: Pull request #6155 labeled by kim-em
November 21, 2024 22:43 10s opencompl:toNat_signExtend
opencompl:toNat_signExtend
November 21, 2024 22:43 10s
feat: BitVec.toNat BitVec.signExtend Backport #5343: Pull request #6155 labeled by kim-em
November 21, 2024 22:43 2s
November 21, 2024 22:43 2s
feat: BitVec.toNat BitVec.signExtend Restart by label #1897: Pull request #6155 labeled by kim-em
November 21, 2024 22:43 2s
November 21, 2024 22:43 2s
PR release PR release #15264: completed by github-merge-queue bot
November 21, 2024 22:42 2s
November 21, 2024 22:42 2s
feat: BitVec.getMsbD_[ofNatLt|allOnes|not] Backport #5342: Pull request #6149 closed by kim-em
November 21, 2024 22:42 9s
November 21, 2024 22:42 9s
feat: BitVec.getMsbD_[ofNatLt|allOnes|not] (#6149) Nix CI #21426: Commit 7f2e7e5 pushed by github-merge-queue bot
November 21, 2024 22:42 20m 7s master
master
November 21, 2024 22:42 20m 7s
feat: BitVec.getMsbD_[ofNatLt|allOnes|not] (#6149) Update stage0 #2201: Commit 7f2e7e5 pushed by github-merge-queue bot
November 21, 2024 22:42 30s master
master
November 21, 2024 22:42 30s
feat: BitVec.getMsbD_[ofNatLt|allOnes|not] (#6149) CI #24667: Commit 7f2e7e5 pushed by github-merge-queue bot
November 21, 2024 22:42 26m 29s master
master
November 21, 2024 22:42 26m 29s
PR release PR release #15263: completed by kim-em
November 21, 2024 22:41 2s
November 21, 2024 22:41 2s
PR release PR release #15262: completed by github-merge-queue bot
November 21, 2024 22:40 2s
November 21, 2024 22:40 2s
feat: BitVec.toInt_[or|and|xor|not] Backport #5341: Pull request #6151 closed by kim-em
November 21, 2024 22:39 11s
November 21, 2024 22:39 11s
feat: BitVec.toInt_[or|and|xor|not] (#6151) Update stage0 #2200: Commit 1fe6673 pushed by github-merge-queue bot
November 21, 2024 22:39 31s master
master
November 21, 2024 22:39 31s
feat: BitVec.toInt_[or|and|xor|not] (#6151) Nix CI #21425: Commit 1fe6673 pushed by github-merge-queue bot
November 21, 2024 22:39 2m 22s master
master
November 21, 2024 22:39 2m 22s
feat: BitVec.toInt_[or|and|xor|not] (#6151) CI #24666: Commit 1fe6673 pushed by github-merge-queue bot
November 21, 2024 22:39 2m 38s master
master
November 21, 2024 22:39 2m 38s
PR release PR release #15261: completed by kim-em
November 21, 2024 22:39 2s
November 21, 2024 22:39 2s
feat: add Nat.mod_eq_sub and fix dependencies from Nat.sub_mul_eq_mod_of_lt_of_le Restart by label #1896: Pull request #6160 labeled by kim-em
November 21, 2024 22:30 2s
November 21, 2024 22:30 2s
feat: add Nat.mod_eq_sub and fix dependencies from Nat.sub_mul_eq_mod_of_lt_of_le Backport #5340: Pull request #6160 labeled by kim-em
November 21, 2024 22:30 2s
November 21, 2024 22:30 2s
feat: add Nat.mod_eq_sub and fix dependencies from Nat.sub_mul_eq_mod_of_lt_of_le Check PR body for changelog convention #866: Pull request #6160 labeled by kim-em
November 21, 2024 22:30 13s opencompl:mod_eq_sub_of_le_of_lt
opencompl:mod_eq_sub_of_le_of_lt
November 21, 2024 22:30 13s
doc: adjust file reference in Data.Sum (#6158) Nix CI #21424: Commit 765eb02 pushed by github-merge-queue bot
November 21, 2024 22:17 12m 23s master
master
November 21, 2024 22:17 12m 23s
doc: adjust file reference in Data.Sum (#6158) CI #24665: Commit 765eb02 pushed by github-merge-queue bot
November 21, 2024 22:17 23m 17s master
master
November 21, 2024 22:17 23m 17s