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

feat: add BitVec.(toNat, toInt, toFin)_shiftLeftZeroExtend CI #998: Pull request #47 synchronize by luisacicolini
March 24, 2025 13:37 48m 54s shiftLeftZeroExtend
shiftLeftZeroExtend
March 24, 2025 13:37 48m 54s
feat: add BitVec.(toNat, toInt, toFin)_shiftLeftZeroExtend Check for modules that should use `prelude` #457: Pull request #47 synchronize by luisacicolini
March 24, 2025 13:37 14s shiftLeftZeroExtend
shiftLeftZeroExtend
March 24, 2025 13:37 14s
feat: add BitVec.(toNat, toInt, toFin)_shiftLeftZeroExtend Check PR body for changelog convention #212: Pull request #47 synchronize by luisacicolini
March 24, 2025 13:37 12s shiftLeftZeroExtend
shiftLeftZeroExtend
March 24, 2025 13:37 12s
feat: add BitVec.(toNat, toInt, toFin)_shiftLeftZeroExtend Check PR title for commit convention #498: Pull request #47 synchronize by luisacicolini
March 24, 2025 13:37 14s shiftLeftZeroExtend
shiftLeftZeroExtend
March 24, 2025 13:37 14s
feat: add BitVec.(toNat, toInt, toFin)_shiftLeftZeroExtend Check for copyright header #457: Pull request #47 synchronize by luisacicolini
March 24, 2025 13:37 46s shiftLeftZeroExtend
shiftLeftZeroExtend
March 24, 2025 13:37 46s
feat: add BitVec.(toNat, toInt, toFin)_shiftLeftZeroExtend Check awaiting-mathlib label #2: Pull request #47 synchronize by luisacicolini
March 24, 2025 13:37 14s shiftLeftZeroExtend
shiftLeftZeroExtend
March 24, 2025 13:37 14s
feat: add BitVec.(toNat, toInt, toFin)_shiftLeftZeroExtend Nix CI #543: Pull request #47 synchronize by luisacicolini
March 24, 2025 13:37 26m 30s shiftLeftZeroExtend
shiftLeftZeroExtend
March 24, 2025 13:37 26m 30s
feat: add BitVec.(toNat, toInt, toFin)_shiftLeftZeroExtend Check for stage0 changes #454: Pull request #47 synchronize by luisacicolini
March 24, 2025 13:37 47s shiftLeftZeroExtend
shiftLeftZeroExtend
March 24, 2025 13:37 47s
PR release PR release #996: completed by tobiasgrosser
March 24, 2025 13:15 3s
March 24, 2025 13:15 3s
feat: add BitVec.(toInt, toFin)_setWidth' Backport #40: Pull request #48 closed by luisacicolini
March 24, 2025 13:01 3s
March 24, 2025 13:01 3s
feat: add BitVec.(toInt, toFin)_setWidth' Nix CI #542: Pull request #48 synchronize by luisacicolini
March 24, 2025 13:01 27m 39s setwidth-prime
setwidth-prime
March 24, 2025 13:01 27m 39s
feat: add BitVec.(toInt, toFin)_setWidth' Check awaiting-mathlib label #1: Pull request #48 synchronize by luisacicolini
March 24, 2025 13:01 11s setwidth-prime
setwidth-prime
March 24, 2025 13:01 11s
feat: add BitVec.(toInt, toFin)_setWidth' Check PR body for changelog convention #211: Pull request #48 synchronize by luisacicolini
March 24, 2025 13:01 12s setwidth-prime
setwidth-prime
March 24, 2025 13:01 12s
feat: add BitVec.(toInt, toFin)_setWidth' Check for stage0 changes #453: Pull request #48 synchronize by luisacicolini
March 24, 2025 13:01 54s setwidth-prime
setwidth-prime
March 24, 2025 13:01 54s
feat: add BitVec.(toInt, toFin)_setWidth' Check for modules that should use `prelude` #456: Pull request #48 synchronize by luisacicolini
March 24, 2025 13:01 19s setwidth-prime
setwidth-prime
March 24, 2025 13:01 19s
feat: add BitVec.(toInt, toFin)_setWidth' CI #997: Pull request #48 synchronize by luisacicolini
March 24, 2025 13:01 51m 7s setwidth-prime
setwidth-prime
March 24, 2025 13:01 51m 7s
feat: add BitVec.(toInt, toFin)_setWidth' Check for copyright header #456: Pull request #48 synchronize by luisacicolini
March 24, 2025 13:01 40s setwidth-prime
setwidth-prime
March 24, 2025 13:01 40s
feat: add BitVec.(toInt, toFin)_setWidth' Check PR title for commit convention #497: Pull request #48 synchronize by luisacicolini
March 24, 2025 13:01 13s setwidth-prime
setwidth-prime
March 24, 2025 13:01 13s
chore: fix debug preset (#7653) CI #996: Commit 635af86 pushed by tobiasgrosser
March 24, 2025 11:56 1h 18m 48s master
master
March 24, 2025 11:56 1h 18m 48s
chore: fix debug preset (#7653) Actionlint #52: Commit 635af86 pushed by tobiasgrosser
March 24, 2025 11:56 49s master
master
March 24, 2025 11:56 49s
chore: fix debug preset (#7653) Nix CI #541: Commit 635af86 pushed by tobiasgrosser
March 24, 2025 11:56 51m 20s master
master
March 24, 2025 11:56 51m 20s
chore: fix debug preset (#7653) Update stage0 #66: Commit 635af86 pushed by tobiasgrosser
March 24, 2025 11:56 39s master
master
March 24, 2025 11:56 39s
chore: toFin_signExtend Backport #39: Pull request #49 closed by luisacicolini
March 24, 2025 11:22 2s
March 24, 2025 11:22 2s
PR release PR release #995: completed by alexkeizer
March 24, 2025 07:01 2s
March 24, 2025 07:01 2s
CI CI #995: Scheduled
March 24, 2025 07:01 26s master
master
March 24, 2025 07:01 26s