Actions: leanprover/lean4
Actions
Showing runs from all workflows
89,674 workflow runs
89,674 workflow runs
StructureInfo
Restart by label
#1552:
Pull request #5853
labeled
by
leanprover-community-bot
StructureInfo
Backport
#4810:
Pull request #5853
labeled
by
leanprover-community-bot
StructureInfo
Check for modules that should use `prelude`
#5650:
Pull request #5853
synchronize
by
kmill
StructureInfo
Check for stage0 changes
#5795:
Pull request #5853
synchronize
by
kmill
StructureInfo
Nix CI
#20185:
Pull request #5853
synchronize
by
kmill
StructureInfo
CI
#23394:
Pull request #5853
synchronize
by
kmill
StructureInfo
Check PR title for commit convention
#10759:
Pull request #5853
synchronize
by
kmill
StructureInfo
Check for copyright header
#5805:
Pull request #5853
synchronize
by
kmill
m!
strings
Backport
#4809:
Pull request #5857
closed
by
kmill
m!
strings (#5857)
Nix CI
#20184:
Commit 709ea6c
pushed
by
github-merge-queue
bot
m!
strings (#5857)
Update stage0
#1976:
Commit 709ea6c
pushed
by
github-merge-queue
bot
m!
strings (#5857)
CI
#23393:
Commit 709ea6c
pushed
by
github-merge-queue
bot