Skip to content

Actions: leanprover/lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
92,900 workflow run results
92,900 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

PR release PR release #14567: completed by mhk119
November 7, 2024 23:34 4m 9s
November 7, 2024 23:34 4m 9s
Theorems for ushiftRight Check PR body for changelog convention #21: Pull request #6004 edited by mhk119
November 7, 2024 23:21 14s opencompl:ushiftRight
opencompl:ushiftRight
November 7, 2024 23:21 14s
Theorems for ushiftRight Check PR title for commit convention #11327: Pull request #6004 edited by mhk119
November 7, 2024 23:21 1m 18s opencompl:ushiftRight
opencompl:ushiftRight
November 7, 2024 23:21 1m 18s
Theorems for ushiftRight Label PR based on Comment #7908: Issue comment #6004 (comment) created by mhk119
November 7, 2024 23:18 2s
November 7, 2024 23:18 2s
Theorems for ushiftRight CI #23978: Pull request #6004 opened by mhk119
November 7, 2024 23:17 17m 29s opencompl:ushiftRight
opencompl:ushiftRight
November 7, 2024 23:17 17m 29s
Theorems for ushiftRight Nix CI #20755: Pull request #6004 opened by mhk119
November 7, 2024 23:17 16m 20s opencompl:ushiftRight
opencompl:ushiftRight
November 7, 2024 23:17 16m 20s
Theorems for ushiftRight Check PR title for commit convention #11326: Pull request #6004 opened by mhk119
November 7, 2024 23:17 9s opencompl:ushiftRight
opencompl:ushiftRight
November 7, 2024 23:17 9s
Theorems for ushiftRight Check PR body for changelog convention #20: Pull request #6004 opened by mhk119
November 7, 2024 23:17 15s opencompl:ushiftRight
opencompl:ushiftRight
November 7, 2024 23:17 15s
Theorems for ushiftRight Check for modules that should use `prelude` #5997: Pull request #6004 opened by mhk119
November 7, 2024 23:17 13s opencompl:ushiftRight
opencompl:ushiftRight
November 7, 2024 23:17 13s
Theorems for ushiftRight Check for copyright header #6152: Pull request #6004 opened by mhk119
November 7, 2024 23:17 33s opencompl:ushiftRight
opencompl:ushiftRight
November 7, 2024 23:17 33s
Theorems for ushiftRight Check for stage0 changes #6253: Pull request #6004 opened by mhk119
November 7, 2024 23:17 32s opencompl:ushiftRight
opencompl:ushiftRight
November 7, 2024 23:17 32s
feat: decide +revert and improvements to native_decide Restart by label #1672: Pull request #5999 labeled by kmill
November 7, 2024 22:58 3s
November 7, 2024 22:58 3s
feat: decide +revert and improvements to native_decide Backport #5014: Pull request #5999 labeled by kmill
November 7, 2024 22:58 3s
November 7, 2024 22:58 3s
feat: decide +revert and improvements to native_decide Check PR body for changelog convention #19: Pull request #5999 labeled by kmill
November 7, 2024 22:58 10s kmill:decide_revert
kmill:decide_revert
November 7, 2024 22:58 10s
PR release PR release #14566: completed by github-merge-queue bot
November 7, 2024 22:06 2s
November 7, 2024 22:06 2s
chore: CI: exempt drafts from PR body check Label PR based on Comment #7907: Issue comment #6002 (comment) created by leanprover-community-bot
November 7, 2024 21:42 2s
November 7, 2024 21:42 2s
chore: revert "CI: give Linux Debug unlimited test stack size" Backport #5013: Pull request #6001 closed by Kha
November 7, 2024 21:41 10s
November 7, 2024 21:41 10s
chore: revert "CI: give Linux Debug unlimited test stack size" (#6001) CI #23977: Commit 1b806c5 pushed by github-merge-queue bot
November 7, 2024 21:41 24m 18s master
master
November 7, 2024 21:41 24m 18s
chore: revert "CI: give Linux Debug unlimited test stack size" (#6001) Nix CI #20754: Commit 1b806c5 pushed by github-merge-queue bot
November 7, 2024 21:41 7m 13s master
master
November 7, 2024 21:41 7m 13s
chore: revert "CI: give Linux Debug unlimited test stack size" (#6001) Update stage0 #2089: Commit 1b806c5 pushed by github-merge-queue bot
November 7, 2024 21:41 33s master
master
November 7, 2024 21:41 33s
chore: revert "CI: give Linux Debug unlimited test stack size" (#6001) Actionlint #2657: Commit 1b806c5 pushed by github-merge-queue bot
November 7, 2024 21:41 36s master
master
November 7, 2024 21:41 36s
PR release PR release #14565: completed by Kha
November 7, 2024 21:41 2s
November 7, 2024 21:41 2s
PR release PR release #14564: completed by Kha
November 7, 2024 21:36 5m 54s
November 7, 2024 21:36 5m 54s
chore: revert "CI: give Linux Debug unlimited test stack size" Label PR based on Comment #7906: Issue comment #6001 (comment) created by leanprover-community-bot
November 7, 2024 21:20 2s
November 7, 2024 21:20 2s
chore: CI: exempt drafts from PR body check Restart by label #1671: Pull request #6002 labeled by Kha
November 7, 2024 21:19 1s
November 7, 2024 21:19 1s