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

PR release PR release #596: completed by bollu
October 21, 2024 08:14 2s
October 21, 2024 08:14 2s
feat: fix BitVec.abs, prove toInt produces the expected value Check for stage0 changes #240: Pull request #26 synchronize by bollu
October 21, 2024 08:14 40s lean4-toint-abs
lean4-toint-abs
October 21, 2024 08:14 40s
feat: fix BitVec.abs, prove toInt produces the expected value Nix CI #296: Pull request #26 synchronize by bollu
October 21, 2024 08:14 2m 30s lean4-toint-abs
lean4-toint-abs
October 21, 2024 08:14 2m 30s
feat: fix BitVec.abs, prove toInt produces the expected value Check PR title for commit convention #270: Pull request #26 synchronize by bollu
October 21, 2024 08:14 12s lean4-toint-abs
lean4-toint-abs
October 21, 2024 08:14 12s
feat: fix BitVec.abs, prove toInt produces the expected value Check for modules that should use `prelude` #243: Pull request #26 synchronize by bollu
October 21, 2024 08:14 13s lean4-toint-abs
lean4-toint-abs
October 21, 2024 08:14 13s
feat: fix BitVec.abs, prove toInt produces the expected value Check for copyright header #243: Pull request #26 synchronize by bollu
October 21, 2024 08:14 23s lean4-toint-abs
lean4-toint-abs
October 21, 2024 08:14 23s
feat: fix BitVec.abs, prove toInt produces the expected value CI #597: Pull request #26 synchronize by bollu
October 21, 2024 08:14 4m 38s lean4-toint-abs
lean4-toint-abs
October 21, 2024 08:14 4m 38s
feat: fix BitVec.abs, prove toInt produces the expected value Nix CI #295: Pull request #26 synchronize by bollu
October 21, 2024 08:08 2m 24s lean4-toint-abs
lean4-toint-abs
October 21, 2024 08:08 2m 24s
feat: fix BitVec.abs, prove toInt produces the expected value Check for copyright header #242: Pull request #26 synchronize by bollu
October 21, 2024 08:08 25s lean4-toint-abs
lean4-toint-abs
October 21, 2024 08:08 25s
feat: fix BitVec.abs, prove toInt produces the expected value CI #596: Pull request #26 synchronize by bollu
October 21, 2024 08:08 5m 43s lean4-toint-abs
lean4-toint-abs
October 21, 2024 08:08 5m 43s
feat: fix BitVec.abs, prove toInt produces the expected value Check for stage0 changes #239: Pull request #26 synchronize by bollu
October 21, 2024 08:08 37s lean4-toint-abs
lean4-toint-abs
October 21, 2024 08:08 37s
feat: fix BitVec.abs, prove toInt produces the expected value Check PR title for commit convention #269: Pull request #26 synchronize by bollu
October 21, 2024 08:08 10s lean4-toint-abs
lean4-toint-abs
October 21, 2024 08:08 10s
feat: fix BitVec.abs, prove toInt produces the expected value Check for modules that should use `prelude` #242: Pull request #26 synchronize by bollu
October 21, 2024 08:08 17s lean4-toint-abs
lean4-toint-abs
October 21, 2024 08:08 17s
PR release PR release #595: completed by bollu
October 21, 2024 08:05 2s
October 21, 2024 08:05 2s
PR release PR release #594: completed by bollu
October 21, 2024 07:58 2s
October 21, 2024 07:58 2s
feat: fix BitVec.abs, prove toInt produces the expected value Check PR title for commit convention #268: Pull request #26 synchronize by bollu
October 21, 2024 07:57 10s lean4-toint-abs
lean4-toint-abs
October 21, 2024 07:57 10s
feat: fix BitVec.abs, prove toInt produces the expected value CI #595: Pull request #26 synchronize by bollu
October 21, 2024 07:57 7m 35s lean4-toint-abs
lean4-toint-abs
October 21, 2024 07:57 7m 35s
feat: fix BitVec.abs, prove toInt produces the expected value Check for copyright header #241: Pull request #26 synchronize by bollu
October 21, 2024 07:57 23s lean4-toint-abs
lean4-toint-abs
October 21, 2024 07:57 23s
feat: fix BitVec.abs, prove toInt produces the expected value Nix CI #294: Pull request #26 synchronize by bollu
October 21, 2024 07:57 2m 31s lean4-toint-abs
lean4-toint-abs
October 21, 2024 07:57 2m 31s
feat: fix BitVec.abs, prove toInt produces the expected value Check for modules that should use `prelude` #241: Pull request #26 synchronize by bollu
October 21, 2024 07:57 17s lean4-toint-abs
lean4-toint-abs
October 21, 2024 07:57 17s
feat: fix BitVec.abs, prove toInt produces the expected value Check for stage0 changes #238: Pull request #26 synchronize by bollu
October 21, 2024 07:57 39s lean4-toint-abs
lean4-toint-abs
October 21, 2024 07:57 39s
PR release PR release #593: completed by bollu
October 21, 2024 07:54 2s
October 21, 2024 07:54 2s
feat: fix BitVec.abs, prove toInt produces the expected value Check for modules that should use `prelude` #240: Pull request #26 synchronize by bollu
October 21, 2024 07:54 14s lean4-toint-abs
lean4-toint-abs
October 21, 2024 07:54 14s
feat: fix BitVec.abs, prove toInt produces the expected value CI #594: Pull request #26 synchronize by bollu
October 21, 2024 07:54 3m 50s lean4-toint-abs
lean4-toint-abs
October 21, 2024 07:54 3m 50s
feat: fix BitVec.abs, prove toInt produces the expected value Nix CI #293: Pull request #26 synchronize by bollu
October 21, 2024 07:54 2m 30s lean4-toint-abs
lean4-toint-abs
October 21, 2024 07:54 2m 30s