Skip to content

Actions: opencompl/lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,986 workflow runs
2,986 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Label stale PRs Label stale PRs #244: Scheduled
October 24, 2024 02:01 12s master
master
October 24, 2024 02:01 12s
PR release PR release #605: completed by bollu
October 23, 2024 20:54 2s
October 23, 2024 20:54 2s
feat: fix BitVec.abs, prove toInt produces the expected value Check PR title for commit convention #276: Pull request #26 synchronize by bollu
October 23, 2024 20:23 11s lean4-toint-abs
lean4-toint-abs
October 23, 2024 20:23 11s
feat: fix BitVec.abs, prove toInt produces the expected value Check for modules that should use `prelude` #249: Pull request #26 synchronize by bollu
October 23, 2024 20:23 18s lean4-toint-abs
lean4-toint-abs
October 23, 2024 20:23 18s
feat: fix BitVec.abs, prove toInt produces the expected value Check for copyright header #249: Pull request #26 synchronize by bollu
October 23, 2024 20:23 26s lean4-toint-abs
lean4-toint-abs
October 23, 2024 20:23 26s
feat: fix BitVec.abs, prove toInt produces the expected value Check for stage0 changes #246: Pull request #26 synchronize by bollu
October 23, 2024 20:23 27s lean4-toint-abs
lean4-toint-abs
October 23, 2024 20:23 27s
feat: fix BitVec.abs, prove toInt produces the expected value Nix CI #302: Pull request #26 synchronize by bollu
October 23, 2024 20:23 39m 18s lean4-toint-abs
lean4-toint-abs
October 23, 2024 20:23 39m 18s
feat: fix BitVec.abs, prove toInt produces the expected value CI #605: Pull request #26 synchronize by bollu
October 23, 2024 20:23 31m 32s lean4-toint-abs
lean4-toint-abs
October 23, 2024 20:23 31m 32s
PR release PR release #604: completed by alexkeizer
October 23, 2024 07:01 3s
October 23, 2024 07:01 3s
CI CI #604: Scheduled
October 23, 2024 07:01 23s master
master
October 23, 2024 07:01 23s
Label stale PRs Label stale PRs #243: Scheduled
October 23, 2024 02:00 14s master
master
October 23, 2024 02:00 14s
PR release PR release #603: completed by bollu
October 22, 2024 22:37 2s
October 22, 2024 22:37 2s
feat: fix BitVec.abs, prove toInt produces the expected value Check for copyright header #248: Pull request #26 synchronize by bollu
October 22, 2024 22:21 24s lean4-toint-abs
lean4-toint-abs
October 22, 2024 22:21 24s
feat: fix BitVec.abs, prove toInt produces the expected value Check PR title for commit convention #275: Pull request #26 synchronize by bollu
October 22, 2024 22:21 10s lean4-toint-abs
lean4-toint-abs
October 22, 2024 22:21 10s
feat: fix BitVec.abs, prove toInt produces the expected value CI #603: Pull request #26 synchronize by bollu
October 22, 2024 22:21 16m 12s lean4-toint-abs
lean4-toint-abs
October 22, 2024 22:21 16m 12s
feat: fix BitVec.abs, prove toInt produces the expected value Check for modules that should use `prelude` #248: Pull request #26 synchronize by bollu
October 22, 2024 22:21 14s lean4-toint-abs
lean4-toint-abs
October 22, 2024 22:21 14s
feat: fix BitVec.abs, prove toInt produces the expected value Nix CI #301: Pull request #26 synchronize by bollu
October 22, 2024 22:21 6m 51s lean4-toint-abs
lean4-toint-abs
October 22, 2024 22:21 6m 51s
feat: fix BitVec.abs, prove toInt produces the expected value Check for stage0 changes #245: Pull request #26 synchronize by bollu
October 22, 2024 22:21 25s lean4-toint-abs
lean4-toint-abs
October 22, 2024 22:21 25s
PR release PR release #602: completed by alexkeizer
October 22, 2024 07:01 2s
October 22, 2024 07:01 2s
CI CI #602: Scheduled
October 22, 2024 07:01 25s master
master
October 22, 2024 07:01 25s
Label stale PRs Label stale PRs #242: Scheduled
October 22, 2024 02:01 11s master
master
October 22, 2024 02:01 11s
PR release PR release #601: completed by bollu
October 21, 2024 17:34 2s
October 21, 2024 17:34 2s
feat: fix BitVec.abs, prove toInt produces the expected value Check for stage0 changes #244: Pull request #26 synchronize by bollu
October 21, 2024 17:18 28s lean4-toint-abs
lean4-toint-abs
October 21, 2024 17:18 28s
feat: fix BitVec.abs, prove toInt produces the expected value CI #601: Pull request #26 synchronize by bollu
October 21, 2024 17:18 16m 8s lean4-toint-abs
lean4-toint-abs
October 21, 2024 17:18 16m 8s
feat: fix BitVec.abs, prove toInt produces the expected value Check PR title for commit convention #274: Pull request #26 synchronize by bollu
October 21, 2024 17:18 16s lean4-toint-abs
lean4-toint-abs
October 21, 2024 17:18 16s