Actions: leanprover/lean4
Actions
Showing runs from all workflows
87,212 workflow run results
87,212 workflow run results
MessageData.ofConstName
be the default coercion from Name
to MessageData
Nix CI
#19873:
Pull request #5779
opened
by
kmill
MessageData.ofConstName
be the default coercion from Name
to MessageData
CI
#23074:
Pull request #5779
opened
by
kmill
MessageData.ofConstName
be the default coercion from Name
to MessageData
Check PR title for commit convention
#10440:
Pull request #5779
opened
by
kmill
MessageData.ofConstName
be the default coercion from Name
to MessageData
Check for modules that should use `prelude`
#5453:
Pull request #5779
opened
by
kmill
MessageData.ofConstName
be the default coercion from Name
to MessageData
Check for copyright header
#5608:
Pull request #5779
opened
by
kmill
MessageData.ofConstName
be the default coercion from Name
to MessageData
Check for stage0 changes
#5538:
Pull request #5779
opened
by
kmill
lake update
Backport
#4698:
Pull request #5684
labeled
by
tydeu
lake update
Restart by label
#1486:
Pull request #5684
labeled
by
tydeu
intMin
is indeed the smallest signed bitvector
Nix CI
#19872:
Pull request #5778
opened
by
alexkeizer
intMin
is indeed the smallest signed bitvector
Check PR title for commit convention
#10439:
Pull request #5778
opened
by
alexkeizer
intMin
is indeed the smallest signed bitvector
Check for modules that should use `prelude`
#5452:
Pull request #5778
opened
by
alexkeizer
intMin
is indeed the smallest signed bitvector
Check for stage0 changes
#5537:
Pull request #5778
opened
by
alexkeizer
intMin
is indeed the smallest signed bitvector
Check for copyright header
#5607:
Pull request #5778
opened
by
alexkeizer
intMin
is indeed the smallest signed bitvector
CI
#23073:
Pull request #5778
opened
by
alexkeizer
lake update
Nix CI
#19871:
Pull request #5684
synchronize
by
tydeu
lake update
Check PR title for commit convention
#10438:
Pull request #5684
synchronize
by
tydeu
lake update
Check for modules that should use `prelude`
#5451:
Pull request #5684
synchronize
by
tydeu
lake update
Check for copyright header
#5606:
Pull request #5684
synchronize
by
tydeu
lake update
Check for stage0 changes
#5536:
Pull request #5684
synchronize
by
tydeu
lake update
CI
#23072:
Pull request #5684
synchronize
by
tydeu