Skip to content

Actions: opencompl/lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
4,989 workflow runs
4,989 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: add BitVec.(extractLsb, extractLsb')_(toInt, toFin) Check PR body for changelog convention #182: Pull request #46 synchronize by luisacicolini
February 20, 2025 18:47 14s extract-toInt-toFin
extract-toInt-toFin
February 20, 2025 18:47 14s
feat: add BitVec.(extractLsb, extractLsb')_(toInt, toFin) Check for stage0 changes #425: Pull request #46 synchronize by luisacicolini
February 20, 2025 18:47 39s extract-toInt-toFin
extract-toInt-toFin
February 20, 2025 18:47 39s
feat: add BitVec.(extractLsb, extractLsb')_(toInt, toFin) Nix CI #500: Pull request #46 synchronize by luisacicolini
February 20, 2025 18:47 18s extract-toInt-toFin
extract-toInt-toFin
February 20, 2025 18:47 18s
feat: add BitVec.(extractLsb, extractLsb')_(toInt, toFin) Check for modules that should use `prelude` #428: Pull request #46 synchronize by luisacicolini
February 20, 2025 18:47 15s extract-toInt-toFin
extract-toInt-toFin
February 20, 2025 18:47 15s
feat: add BitVec.(extractLsb, extractLsb')_(toInt, toFin) Check PR title for commit convention #468: Pull request #46 synchronize by luisacicolini
February 20, 2025 18:47 13s extract-toInt-toFin
extract-toInt-toFin
February 20, 2025 18:47 13s
feat: add BitVec.(extractLsb, extractLsb')_(toInt, toFin) Check for copyright header #428: Pull request #46 synchronize by luisacicolini
February 20, 2025 18:47 30s extract-toInt-toFin
extract-toInt-toFin
February 20, 2025 18:47 30s
feat: add BitVec.(extractLsb, extractLsb')_(toInt, toFin) CI #923: Pull request #46 synchronize by luisacicolini
February 20, 2025 18:47 23s extract-toInt-toFin
extract-toInt-toFin
February 20, 2025 18:47 23s
feat: add BitVec.(extractLsb, extractLsb')_(toInt, toFin) Nix CI #499: Pull request #46 synchronize by luisacicolini
February 20, 2025 18:47 17s extract-toInt-toFin
extract-toInt-toFin
February 20, 2025 18:47 17s
feat: add BitVec.(extractLsb, extractLsb')_(toInt, toFin) Check for modules that should use `prelude` #427: Pull request #46 synchronize by luisacicolini
February 20, 2025 18:47 17s extract-toInt-toFin
extract-toInt-toFin
February 20, 2025 18:47 17s
feat: add BitVec.(extractLsb, extractLsb')_(toInt, toFin) Check PR body for changelog convention #181: Pull request #46 synchronize by luisacicolini
February 20, 2025 18:47 14s extract-toInt-toFin
extract-toInt-toFin
February 20, 2025 18:47 14s
feat: add BitVec.(extractLsb, extractLsb')_(toInt, toFin) Check for stage0 changes #424: Pull request #46 synchronize by luisacicolini
February 20, 2025 18:47 40s extract-toInt-toFin
extract-toInt-toFin
February 20, 2025 18:47 40s
feat: add BitVec.(extractLsb, extractLsb')_(toInt, toFin) Check PR title for commit convention #467: Pull request #46 synchronize by luisacicolini
February 20, 2025 18:47 14s extract-toInt-toFin
extract-toInt-toFin
February 20, 2025 18:47 14s
feat: add BitVec.(extractLsb, extractLsb')_(toInt, toFin) CI #922: Pull request #46 synchronize by luisacicolini
February 20, 2025 18:47 15s extract-toInt-toFin
extract-toInt-toFin
February 20, 2025 18:47 15s
feat: add BitVec.(extractLsb, extractLsb')_(toInt, toFin) Check for copyright header #427: Pull request #46 synchronize by luisacicolini
February 20, 2025 18:47 32s extract-toInt-toFin
extract-toInt-toFin
February 20, 2025 18:47 32s
feat: add BitVec.(extractLsb, extractLsb')_(toInt, toFin) Check for modules that should use `prelude` #426: Pull request #46 synchronize by luisacicolini
February 20, 2025 18:47 15s extract-toInt-toFin
extract-toInt-toFin
February 20, 2025 18:47 15s
feat: add BitVec.(extractLsb, extractLsb')_(toInt, toFin) Nix CI #498: Pull request #46 synchronize by luisacicolini
February 20, 2025 18:47 16s extract-toInt-toFin
extract-toInt-toFin
February 20, 2025 18:47 16s
feat: add BitVec.(extractLsb, extractLsb')_(toInt, toFin) CI #921: Pull request #46 synchronize by luisacicolini
February 20, 2025 18:47 19s extract-toInt-toFin
extract-toInt-toFin
February 20, 2025 18:47 19s
feat: add BitVec.(extractLsb, extractLsb')_(toInt, toFin) Check for copyright header #426: Pull request #46 synchronize by luisacicolini
February 20, 2025 18:47 31s extract-toInt-toFin
extract-toInt-toFin
February 20, 2025 18:47 31s
feat: add BitVec.(extractLsb, extractLsb')_(toInt, toFin) Check PR title for commit convention #466: Pull request #46 synchronize by luisacicolini
February 20, 2025 18:47 15s extract-toInt-toFin
extract-toInt-toFin
February 20, 2025 18:47 15s
feat: add BitVec.(extractLsb, extractLsb')_(toInt, toFin) Check PR body for changelog convention #180: Pull request #46 synchronize by luisacicolini
February 20, 2025 18:47 14s extract-toInt-toFin
extract-toInt-toFin
February 20, 2025 18:47 14s
feat: add BitVec.(extractLsb, extractLsb')_(toInt, toFin) Check for stage0 changes #423: Pull request #46 synchronize by luisacicolini
February 20, 2025 18:47 41s extract-toInt-toFin
extract-toInt-toFin
February 20, 2025 18:47 41s
feat: add BitVec.(toNat, toInt, toFin)_shiftLeftZeroExtend Check for stage0 changes #422: Pull request #47 opened by luisacicolini
February 20, 2025 18:46 37s shiftLeftZeroExtend
shiftLeftZeroExtend
February 20, 2025 18:46 37s
feat: add BitVec.(toNat, toInt, toFin)_shiftLeftZeroExtend Check PR title for commit convention #465: Pull request #47 opened by luisacicolini
February 20, 2025 18:46 11s shiftLeftZeroExtend
shiftLeftZeroExtend
February 20, 2025 18:46 11s
feat: add BitVec.(toNat, toInt, toFin)_shiftLeftZeroExtend CI #920: Pull request #47 opened by luisacicolini
February 20, 2025 18:46 6m 43s shiftLeftZeroExtend
shiftLeftZeroExtend
February 20, 2025 18:46 6m 43s
feat: add BitVec.(toNat, toInt, toFin)_shiftLeftZeroExtend Check PR body for changelog convention #179: Pull request #47 opened by luisacicolini
February 20, 2025 18:46 12s shiftLeftZeroExtend
shiftLeftZeroExtend
February 20, 2025 18:46 12s