Actions: leanprover/lean4
Actions
Showing runs from all workflows
38,932 workflow run results
38,932 workflow run results
tryCatchRuntimeEx
combinator
Label PR based on Comment
#4081:
Issue comment #4129 (comment)
created
by
leanprover-community-mathlib4-bot
tryCatchRuntimeEx
combinator
Backport
#2305:
Pull request #4129
labeled
by
leanprover-community-mathlib4-bot
tryCatchRuntimeEx
combinator
Nix CI
#13652:
Pull request #4129
labeled
by
leanprover-community-mathlib4-bot
tryCatchRuntimeEx
combinator
CI
#16671:
Pull request #4129
labeled
by
leanprover-community-mathlib4-bot
Lean.unresolveNameGlobal
Backport
#2304:
Pull request #4091
closed
by
kmill
Lean.unresolveNameGlobal
(#4091)
Nix CI
#13651:
Commit a1be9ec
pushed
by
github-merge-queue
bot
Lean.unresolveNameGlobal
(#4091)
Update stage0
#773:
Commit a1be9ec
pushed
by
github-merge-queue
bot
Lean.unresolveNameGlobal
(#4091)
CI
#16670:
Commit a1be9ec
pushed
by
github-merge-queue
bot
tryCatchRuntimeEx
combinator
Backport
#2303:
Pull request #4129
closed
by
leodemoura
tryCatchRuntimeEx
combinator (#4129)
Update stage0
#772:
Commit e237e12
pushed
by
github-merge-queue
bot
tryCatchRuntimeEx
combinator (#4129)
Nix CI
#13650:
Commit e237e12
pushed
by
github-merge-queue
bot
tryCatchRuntimeEx
combinator (#4129)
CI
#16669:
Commit e237e12
pushed
by
github-merge-queue
bot
checkSystem
and withIncRecDepth
to withAutoBoundImplicit
Label PR based on Comment
#4080:
Issue comment #4128 (comment)
created
by
leanprover-community-mathlib4-bot