Skip to content

Actions: leanprover/lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
38,932 workflow run results
38,932 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

PR release PR release #7030: completed by leanprover-community-mathlib4-bot
May 10, 2024 23:56 11s
May 10, 2024 23:56 11s
feat: recover from runtime errors in tactics Nix CI #13653: Pull request #4130 opened by leodemoura
May 10, 2024 23:50 17m 2s issue_3554
issue_3554
May 10, 2024 23:50 17m 2s
feat: recover from runtime errors in tactics CI #16672: Pull request #4130 opened by leodemoura
May 10, 2024 23:50 15m 26s issue_3554
issue_3554
May 10, 2024 23:50 15m 26s
feat: recover from runtime errors in tactics Check PR title for commit convention #4439: Pull request #4130 opened by leodemoura
May 10, 2024 23:50 10s issue_3554
issue_3554
May 10, 2024 23:50 10s
feat: recover from runtime errors in tactics Check for modules that should use `prelude` #1544: Pull request #4130 opened by leodemoura
May 10, 2024 23:50 12s issue_3554
issue_3554
May 10, 2024 23:50 12s
feat: recover from runtime errors in tactics Check for copyright header #1699: Pull request #4130 opened by leodemoura
May 10, 2024 23:50 27s issue_3554
issue_3554
May 10, 2024 23:50 27s
feat: recover from runtime errors in tactics Check for stage0 changes #474: Pull request #4130 opened by leodemoura
May 10, 2024 23:50 37s issue_3554
issue_3554
May 10, 2024 23:50 37s
refactor: add tryCatchRuntimeEx combinator Label PR based on Comment #4081: Issue comment #4129 (comment) created by leanprover-community-mathlib4-bot
May 10, 2024 23:40 1s
May 10, 2024 23:40 1s
refactor: add tryCatchRuntimeEx combinator Backport #2305: Pull request #4129 labeled by leanprover-community-mathlib4-bot
May 10, 2024 23:40 1s
May 10, 2024 23:40 1s
refactor: add tryCatchRuntimeEx combinator Nix CI #13652: Pull request #4129 labeled by leanprover-community-mathlib4-bot
May 10, 2024 23:40 18m 26s tryCatchRuntimeEx
tryCatchRuntimeEx
May 10, 2024 23:40 18m 26s
refactor: add tryCatchRuntimeEx combinator CI #16671: Pull request #4129 labeled by leanprover-community-mathlib4-bot
May 10, 2024 23:40 16m 8s tryCatchRuntimeEx
tryCatchRuntimeEx
May 10, 2024 23:40 16m 8s
PR release PR release #7029: completed by github-merge-queue bot
May 10, 2024 23:30 2s
May 10, 2024 23:30 2s
chore: tidying up Lean.unresolveNameGlobal Backport #2304: Pull request #4091 closed by kmill
May 10, 2024 23:30 10s
May 10, 2024 23:30 10s
chore: tidying up Lean.unresolveNameGlobal (#4091) Nix CI #13651: Commit a1be9ec pushed by github-merge-queue bot
May 10, 2024 23:30 10m 1s master
master
May 10, 2024 23:30 10m 1s
chore: tidying up Lean.unresolveNameGlobal (#4091) Update stage0 #773: Commit a1be9ec pushed by github-merge-queue bot
May 10, 2024 23:30 29s master
master
May 10, 2024 23:30 29s
chore: tidying up Lean.unresolveNameGlobal (#4091) CI #16670: Commit a1be9ec pushed by github-merge-queue bot
May 10, 2024 23:30 41m 37s master
master
May 10, 2024 23:30 41m 37s
PR release PR release #7028: completed by kmill
May 10, 2024 23:29 2s
May 10, 2024 23:29 2s
refactor: add tryCatchRuntimeEx combinator Backport #2303: Pull request #4129 closed by leodemoura
May 10, 2024 23:26 9s
May 10, 2024 23:26 9s
refactor: add tryCatchRuntimeEx combinator (#4129) Update stage0 #772: Commit e237e12 pushed by github-merge-queue bot
May 10, 2024 23:26 26s master
master
May 10, 2024 23:26 26s
refactor: add tryCatchRuntimeEx combinator (#4129) Nix CI #13650: Commit e237e12 pushed by github-merge-queue bot
May 10, 2024 23:26 4m 20s master
master
May 10, 2024 23:26 4m 20s
refactor: add tryCatchRuntimeEx combinator (#4129) CI #16669: Commit e237e12 pushed by github-merge-queue bot
May 10, 2024 23:26 4m 23s master
master
May 10, 2024 23:26 4m 23s
PR release PR release #7027: completed by leodemoura
May 10, 2024 23:25 1s
May 10, 2024 23:25 1s
PR release PR release #7026: completed by leanprover-community-mathlib4-bot
May 10, 2024 23:25 13s
May 10, 2024 23:25 13s
PR release PR release #7025: completed by github-merge-queue bot
May 10, 2024 23:24 2s
May 10, 2024 23:24 2s
fix: add checkSystem and withIncRecDepth to withAutoBoundImplicit Label PR based on Comment #4080: Issue comment #4128 (comment) created by leanprover-community-mathlib4-bot
May 10, 2024 23:09 1s
May 10, 2024 23:09 1s