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

feat: BitVec.[udiv_twoPow|sdiv_twoPow] Check PR title for commit convention #278: Pull request #28 synchronize by tobiasgrosser
October 27, 2024 12:19 10s div_twoPow
div_twoPow
October 27, 2024 12:19 10s
feat: BitVec.[udiv_twoPow|sdiv_twoPow] CI #612: Pull request #28 synchronize by tobiasgrosser
October 27, 2024 12:19 6m 9s div_twoPow
div_twoPow
October 27, 2024 12:19 6m 9s
PR release PR release #611: completed by alexkeizer
October 27, 2024 07:01 3s
October 27, 2024 07:01 3s
CI CI #611: Scheduled
October 27, 2024 07:01 29s master
master
October 27, 2024 07:01 29s
Label stale PRs Label stale PRs #247: Scheduled
October 27, 2024 02:04 11s master
master
October 27, 2024 02:04 11s
PR release PR release #610: completed by tobiasgrosser
October 26, 2024 23:25 2s
October 26, 2024 23:25 2s
PR release PR release #609: completed by tobiasgrosser
October 26, 2024 22:54 2s
October 26, 2024 22:54 2s
feat: BitVec.[udiv_twoPow|sdiv_twoPow] Check for stage0 changes #247: Pull request #28 opened by tobiasgrosser
October 26, 2024 22:38 30s div_twoPow
div_twoPow
October 26, 2024 22:38 30s
feat: BitVec.[udiv_twoPow|sdiv_twoPow] Check PR title for commit convention #277: Pull request #28 opened by tobiasgrosser
October 26, 2024 22:38 11s div_twoPow
div_twoPow
October 26, 2024 22:38 11s
feat: BitVec.[udiv_twoPow|sdiv_twoPow] Check for modules that should use `prelude` #250: Pull request #28 opened by tobiasgrosser
October 26, 2024 22:38 17s div_twoPow
div_twoPow
October 26, 2024 22:38 17s
feat: BitVec.[udiv_twoPow|sdiv_twoPow] CI #610: Pull request #28 opened by tobiasgrosser
October 26, 2024 22:38 16m 30s div_twoPow
div_twoPow
October 26, 2024 22:38 16m 30s
feat: BitVec.[udiv_twoPow|sdiv_twoPow] Check for copyright header #250: Pull request #28 opened by tobiasgrosser
October 26, 2024 22:38 31s div_twoPow
div_twoPow
October 26, 2024 22:38 31s
feat: BitVec.[udiv_twoPow|sdiv_twoPow] Nix CI #304: Pull request #28 opened by tobiasgrosser
October 26, 2024 22:38 16m 11s div_twoPow
div_twoPow
October 26, 2024 22:38 16m 11s
feat: support BitVec.ofBool in bv_decide (#5852) Actionlint #35: Commit 8b5443e pushed by tobiasgrosser
October 26, 2024 22:37 2m 49s master
master
October 26, 2024 22:37 2m 49s
feat: support BitVec.ofBool in bv_decide (#5852) Update stage0 #34: Commit 8b5443e pushed by tobiasgrosser
October 26, 2024 22:37 30s master
master
October 26, 2024 22:37 30s
feat: support BitVec.ofBool in bv_decide (#5852) CI #609: Commit 8b5443e pushed by tobiasgrosser
October 26, 2024 22:37 47m 28s master
master
October 26, 2024 22:37 47m 28s
feat: support BitVec.ofBool in bv_decide (#5852) Nix CI #303: Commit 8b5443e pushed by tobiasgrosser
October 26, 2024 22:37 50m 41s master
master
October 26, 2024 22:37 50m 41s
PR release PR release #608: completed by alexkeizer
October 26, 2024 07:01 2s
October 26, 2024 07:01 2s
CI CI #608: Scheduled
October 26, 2024 07:00 25s master
master
October 26, 2024 07:00 25s
Label stale PRs Label stale PRs #246: Scheduled
October 26, 2024 01:59 11s master
master
October 26, 2024 01:59 11s
PR release PR release #607: completed by alexkeizer
October 25, 2024 07:01 2s
October 25, 2024 07:01 2s
CI CI #607: Scheduled
October 25, 2024 07:01 29s master
master
October 25, 2024 07:01 29s
Label stale PRs Label stale PRs #245: Scheduled
October 25, 2024 02:01 14s master
master
October 25, 2024 02:01 14s
PR release PR release #606: completed by alexkeizer
October 24, 2024 07:01 1s
October 24, 2024 07:01 1s
CI CI #606: Scheduled
October 24, 2024 07:01 27s master
master
October 24, 2024 07:01 27s