Actions: leanprover/lean4
Actions
13,286 workflow runs
13,286 workflow runs
partial
inhabitation
Nix CI
#20136:
Pull request #5847
synchronize
by
kmill
partial
inhabitation
Nix CI
#20135:
Pull request #5847
opened
by
kmill
Inhabited
instance (#5846)
Nix CI
#20134:
Commit 4068cf0
pushed
by
github-merge-queue
bot
Inhabited
instance
Nix CI
#20132:
Pull request #5846
opened
by
kmill
structure
command, fixes (#5842)
Nix CI
#20125:
Commit a310488
pushed
by
github-merge-queue
bot