Skip to content

Actions: leanprover/lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
120,748 workflow runs
120,748 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

PR release PR release #18308: completed by github-merge-queue bot
February 1, 2025 14:41 2s
February 1, 2025 14:41 2s
doc: correct docstring for TransGen.tail and TransGen.trans Backport #6878: Pull request #6900 closed by nomeata
February 1, 2025 14:17 7s
February 1, 2025 14:17 7s
doc: correct docstring for TransGen.tail and TransGen.trans (#6900) CI #27671: Commit 2b0e757 pushed by github-merge-queue bot
February 1, 2025 14:17 24m 2s master
master
February 1, 2025 14:17 24m 2s
doc: correct docstring for TransGen.tail and TransGen.trans (#6900) Nix CI #24353: Commit 2b0e757 pushed by github-merge-queue bot
February 1, 2025 14:17 12m 51s master
master
February 1, 2025 14:17 12m 51s
doc: correct docstring for TransGen.tail and TransGen.trans (#6900) Update stage0 #2769: Commit 2b0e757 pushed by github-merge-queue bot
February 1, 2025 14:17 27s master
master
February 1, 2025 14:17 27s
PR release PR release #18307: completed by nomeata
February 1, 2025 14:17 2s
February 1, 2025 14:17 2s
Nix CI Nix CI #24352: Merge group checks requested
February 1, 2025 13:53 12m 52s
February 1, 2025 13:53 12m 52s
Actionlint Actionlint #3443: Merge group checks requested
February 1, 2025 13:53 34s
February 1, 2025 13:53 34s
Check PR body for changelog convention Check PR body for changelog convention #4669: Merge group checks requested
February 1, 2025 13:53 12s
February 1, 2025 13:53 12s
Check for stage0 changes Check for stage0 changes #9184: Merge group checks requested
February 1, 2025 13:53 33s
February 1, 2025 13:53 33s
CI CI #27670: Merge group checks requested
February 1, 2025 13:53 24m 2s
February 1, 2025 13:53 24m 2s
Check PR title for commit convention Check PR title for commit convention #14787: Merge group checks requested
February 1, 2025 13:53 11s
February 1, 2025 13:53 11s
doc: correct docstring for TransGen.tail and TransGen.trans Label PR based on Comment #9672: Issue comment #6900 (comment) created by leanprover-community-bot
February 1, 2025 13:18 2s
February 1, 2025 13:18 2s
PR release PR release #18306: completed by m4lvin
February 1, 2025 13:14 4m 31s
February 1, 2025 13:14 4m 31s
doc: correct docstring for TransGen.tail and TransGen.trans Check PR title for commit convention #14786: Pull request #6900 edited by m4lvin
February 1, 2025 12:59 11s m4lvin:doc-TransGen.trans
m4lvin:doc-TransGen.trans
February 1, 2025 12:59 11s
doc: correct docstring for TransGen.tail and TransGen.trans Check PR body for changelog convention #4668: Pull request #6900 edited by m4lvin
February 1, 2025 12:59 12s m4lvin:doc-TransGen.trans
m4lvin:doc-TransGen.trans
February 1, 2025 12:59 12s
doc: correct docstring for TransGen.tail and TransGen.trans Nix CI #24351: Pull request #6900 opened by m4lvin
February 1, 2025 12:54 12m 58s m4lvin:doc-TransGen.trans
m4lvin:doc-TransGen.trans
February 1, 2025 12:54 12m 58s
doc: correct docstring for TransGen.tail and TransGen.trans Check PR title for commit convention #14785: Pull request #6900 opened by m4lvin
February 1, 2025 12:54 9s m4lvin:doc-TransGen.trans
m4lvin:doc-TransGen.trans
February 1, 2025 12:54 9s
doc: correct docstring for TransGen.tail and TransGen.trans CI #27669: Pull request #6900 opened by m4lvin
February 1, 2025 12:54 19m 10s m4lvin:doc-TransGen.trans
m4lvin:doc-TransGen.trans
February 1, 2025 12:54 19m 10s
doc: correct docstring for TransGen.tail and TransGen.trans Check for modules that should use `prelude` #8205: Pull request #6900 opened by m4lvin
February 1, 2025 12:54 15s m4lvin:doc-TransGen.trans
m4lvin:doc-TransGen.trans
February 1, 2025 12:54 15s
doc: correct docstring for TransGen.tail and TransGen.trans Check PR body for changelog convention #4667: Pull request #6900 opened by m4lvin
February 1, 2025 12:54 13s m4lvin:doc-TransGen.trans
m4lvin:doc-TransGen.trans
February 1, 2025 12:54 13s
doc: correct docstring for TransGen.tail and TransGen.trans Check for copyright header #8360: Pull request #6900 opened by m4lvin
February 1, 2025 12:54 34s m4lvin:doc-TransGen.trans
m4lvin:doc-TransGen.trans
February 1, 2025 12:54 34s
doc: correct docstring for TransGen.tail and TransGen.trans Check for stage0 changes #9183: Pull request #6900 opened by m4lvin
February 1, 2025 12:54 38s m4lvin:doc-TransGen.trans
m4lvin:doc-TransGen.trans
February 1, 2025 12:54 38s
refactor: WF: create unfold theorems eagerly Label PR based on Comment #9671: Issue comment #6898 (comment) created by leanprover-community-bot
February 1, 2025 12:28 3s
February 1, 2025 12:28 3s
refactor: WF: create unfold theorems eagerly Backport #6877: Pull request #6898 labeled by leanprover-community-bot
February 1, 2025 12:28 2s
February 1, 2025 12:28 2s