8000 Workflow runs · leanprover/lean4 · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
/ lean4 Public < 8000 /div>

Actions: leanprover/lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
179,209 workflow runs
179,209 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

PR release PR release #28443: completed by github-merge-queue bot
June 25, 2025 14:15 Skipped
June 25, 2025 14:15 Skipped
feat: add BitVec.msb_(smod, srem) Backport #10980: Pull request #8974 closed by hargoniX
June 25, 2025 14:14 57s
June 25, 2025 14:14 57s
feat: add BitVec.msb_(smod, srem) (#8974) CI #37637: Commit 25b1b46 pushed by github-merge-queue bot
June 25, 2025 14:14 In progress master
master
June 25, 2025 14:14 In progress
feat: add BitVec.msb_(smod, srem) (#8974) Update stage0 #4523: Commit 25b1b46 pushed by github-merge-queue bot
June 25, 2025 14:14 50s master
master
June 25, 2025 14:14 50s
PR release PR release #28442: completed by hargoniX
June 25, 2025 14:14 11s
June 25, 2025 14:14 11s
PR release PR release #28441: completed by TwoFX
June 25, 2025 14:14 1s
June 25, 2025 14:14 1s
chore: initial Grove setup Check awaiting-mathlib label #7386: Pull request #8997 synchronize by TwoFX
June 25, 2025 14:14 1m 28s markus/initial-grove-setup
markus/initial-grove-setup
June 25, 2025 14:14 1m 28s
chore: initial Grove setup Check for copyright header #14662: Pull request #8997 synchronize by TwoFX
June 25, 2025 14:14 1m 32s markus/initial-grove-setup
markus/initial-grove-setup
June 25, 2025 14:14 1m 32s
chore: initial Grove setup CI #37636: Pull request #8997 synchronize by TwoFX
June 25, 2025 14:14 In progress markus/initial-grove-setup
markus/initial-grove-setup
June 25, 2025 14:14 In progress
chore: initial Grove setup Check PR body for changelog convention #16665: Pull request #8997 synchronize by TwoFX
June 25, 2025 14:14 1m 27s markus/initial-grove-setup
markus/initial-grove-setup
June 25, 2025 14:14 1m 27s
chore: initial Grove setup Check for stage0 changes #17294: Pull request #8997 synchronize by TwoFX
June 25, 2025 14:14 2m 5s markus/initial-grove-setup
markus/initial-grove-setup
June 25, 2025 14:14 2m 5s
chore: initial Grove setup Check for modules that should use `prelude` #14507: Pull request #8997 synchronize by TwoFX
June 25, 2025 14:14 1m 6s markus/initial-grove-setup
markus/initial-grove-setup
June 25, 2025 14:14 1m 6s
chore: initial Grove setup Grove Build #4: Pull request #8997 synchronize by TwoFX
June 25, 2025 14:14 2m 41s markus/initial-grove-setup
markus/initial-grove-setup
June 25, 2025 14:14 2m 41s
chore: initial Grove setup Check PR title for commit convention #24032: Pull request #8997 synchronize by TwoFX
June 25, 2025 14:14 1m 6s markus/initial-grove-setup
markus/initial-grove-setup
June 25, 2025 14:14 1m 6s
chore: initial Grove setup Actionlint #5493: Pull request #8997 synchronize by TwoFX
June 25, 2025 14:14 1m 33s markus/initial-grove-setup
markus/initial-grove-setup
June 25, 2025 14:14 1m 33s
PR release PR release #28440: completed by TwoFX
June 25, 2025 14:02 1s
June 25, 2025 14:02 1s
chore: initial Grove setup Check for stage0 changes #17293: Pull request #8997 synchronize by TwoFX
June 25, 2025 14:02 48s markus/initial-grove-setup
markus/initial-grove-setup
June 25, 2025 14:02 48s
chore: initial Grove setup Check PR title for commit convention #24031: Pull request #8997 synchronize by TwoFX
June 25, 2025 14:02 6s markus/initial-grove-setup
markus/initial-grove-setup
June 25, 2025 14:02 6s
chore: initial Grove setup Check awaiting-mathlib label #7385: Pull request #8997 synchronize by TwoFX
June 25, 2025 14:02 11s markus/initial-grove-setup
markus/initial-grove-setup
June 25, 2025 14:02 11s
chore: initial Grove setup Check for modules that should use `prelude` #14506: Pull request #8997 synchronize by TwoFX
June 25, 2025 14:02 11s markus/initial-grove-setup
markus/initial-grove-setup
June 25, 2025 14:02 11s
chore: initial Grove setup Check for copyright header #14661: Pull request #8997 synchronize by TwoFX
June 25, 2025 14:02 27s markus/initial-grove-setup
markus/initial-grove-setup
June 25, 2025 14:02 27s
chore: initial Grove setup CI #37635: Pull request #8997 synchronize by TwoFX
June 25, 2025 14:02 12m 27s markus/initial-grove-setup
markus/initial-grove-setup
June 25, 2025 14:02 12m 27s
chore: initial Grove setup Actionlint #5492: Pull request #8997 synchronize by TwoFX
June 25, 2025 14:02 24s markus/initial-grove-setup
markus/initial-grove-setup
June 25, 2025 14:02 24s
chore: initial Grove setup Check PR body for changelog convention #16664: Pull request #8997 synchronize by TwoFX
June 25, 2025 14:02 6s markus/initial-grove-setup
markus/initial-grove-setup
June 25, 2025 14:02 6s
chore: initial Grove setup Grove Build #3: Pull request #8997 synchronize by TwoFX
June 25, 2025 14:02 7m 21s markus/initial-grove-setup
markus/initial-grove-setup
June 25, 2025 14:02 7m 21s
0