Skip to content

Actions: opencompl/lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3,864 workflow runs
3,864 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

PR release PR release #781: completed by luisacicolini
January 16, 2025 17:12 3s
January 16, 2025 17:12 3s
feat: add Nat.[shiftLeft_or_distrib, shiftLeft_xor_distrib`, shiftL… Nix CI #393: Commit 906aa1b pushed by luisacicolini
January 16, 2025 16:31 39m 43s master
master
January 16, 2025 16:31 39m 43s
feat: add Nat.[shiftLeft_or_distrib, shiftLeft_xor_distrib`, shiftL… Actionlint #44: Commit 906aa1b pushed by luisacicolini
January 16, 2025 16:31 43s master
master
January 16, 2025 16:31 43s
feat: add Nat.[shiftLeft_or_distrib, shiftLeft_xor_distrib`, shiftL… CI #781: Commit 906aa1b pushed by luisacicolini
January 16, 2025 16:31 40m 31s master
master
January 16, 2025 16:31 40m 31s
feat: add Nat.[shiftLeft_or_distrib, shiftLeft_xor_distrib`, shiftL… Update stage0 #46: Commit 906aa1b pushed by luisacicolini
January 16, 2025 16:31 35s master
master
January 16, 2025 16:31 35s
PR release PR release #780: completed by alexkeizer
January 16, 2025 07:01 2s
January 16, 2025 07:01 2s
CI CI #780: Scheduled
January 16, 2025 07:01 19s master
master
January 16, 2025 07:01 19s
Label stale PRs Label stale PRs #328: Scheduled
January 16, 2025 01:58 11s master
master
January 16, 2025 01:58 11s
PR release PR release #779: completed by alexkeizer
January 15, 2025 07:01 2s
January 15, 2025 07:01 2s
CI CI #779: Scheduled
January 15, 2025 07:01 26s master
master
January 15, 2025 07:01 26s
Label stale PRs Label stale PRs #327: Scheduled
January 15, 2025 01:59 15s master
master
January 15, 2025 01:59 15s
PR release PR release #778: completed by alexkeizer
January 14, 2025 07:01 1s
January 14, 2025 07:01 1s
CI CI #778: Scheduled
January 14, 2025 07:01 22s master
master
January 14, 2025 07:01 22s
Label stale PRs Label stale PRs #326: Scheduled
January 14, 2025 01:58 11s master
master
January 14, 2025 01:58 11s
PR release PR release #777: completed by luisacicolini
January 13, 2025 14:05 3s
January 13, 2025 14:05 3s
PR release PR release #776: completed by luisacicolini
January 13, 2025 13:55 3s
January 13, 2025 13:55 3s
feat: add SMT-LIB overflow definitions for bitvectors (not_overflow,uadd_overflow,sadd_overflow,umul_overflow,smul_overflow) Backport #32: Pull request #42 closed by luisacicolini
January 13, 2025 13:33 3s
January 13, 2025 13:33 3s
fix: adjustments to the datetime library (#6431) CI #777: Commit 8483ac7 pushed by luisacicolini
January 13, 2025 13:29 35m 37s master
master
January 13, 2025 13:29 35m 37s
fix: adjustments to the datetime library (#6431) Update stage0 #45: Commit 8483ac7 pushed by luisacicolini
January 13, 2025 13:29 37s master
master
January 13, 2025 13:29 37s
fix: adjustments to the datetime library (#6431) Nix CI #392: Commit 8483ac7 pushed by luisacicolini
January 13, 2025 13:29 38m 7s master
master
January 13, 2025 13:29 38m 7s
feat: add SMT-LIB overflow definitions for bitvectors (not_overflow,uadd_overflow,sadd_overflow,umul_overflow,smul_overflow) Check PR body for changelog convention #75: Pull request #42 opened by luisacicolini
January 13, 2025 13:29 16s smtlib-overflow-defs
smtlib-overflow-defs
January 13, 2025 13:29 16s
feat: add SMT-LIB overflow definitions for bitvectors (not_overflow,uadd_overflow,sadd_overflow,umul_overflow,smul_overflow) Check for modules that should use `prelude` #327: Pull request #42 opened by luisacicolini
January 13, 2025 13:29 18s smtlib-overflow-defs
smtlib-overflow-defs
January 13, 2025 13:29 18s
feat: add SMT-LIB overflow definitions for bitvectors (not_overflow,uadd_overflow,sadd_overflow,umul_overflow,smul_overflow) Check PR title for commit convention #363: Pull request #42 opened by luisacicolini
January 13, 2025 13:29 15s smtlib-overflow-defs
smtlib-overflow-defs
January 13, 2025 13:29 15s
feat: add SMT-LIB overflow definitions for bitvectors (not_overflow,uadd_overflow,sadd_overflow,umul_overflow,smul_overflow) Nix CI #391: Pull request #42 opened by luisacicolini
January 13, 2025 13:29 37m 8s smtlib-overflow-defs
smtlib-overflow-defs
January 13, 2025 13:29 37m 8s
feat: add SMT-LIB overflow definitions for bitvectors (not_overflow,uadd_overflow,sadd_overflow,umul_overflow,smul_overflow) Check for copyright header #327: Pull request #42 opened by luisacicolini
January 13, 2025 13:29 37s smtlib-overflow-defs
smtlib-overflow-defs
January 13, 2025 13:29 37s