Actions: leanprover/lean4
Actions
Showing runs from all workflows
87,212 workflow run results
87,212 workflow run results
BitVec.(msb, getMsbD, getLsbD)_(neg, abs)
Check PR title for commit convention
#10431:
Pull request #5721
synchronize
by
alexkeizer
lake update
Restart by label
#1485:
Pull request #5684
labeled
by
leanprover-community-bot
lake update
Backport
#4697:
Pull request #5684
labeled
by
leanprover-community-bot
lake update
Restart by label
#1484:
Pull request #5684
unlabeled
by
leanprover-community-bot
lake update
Label PR based on Comment
#7454:
Issue comment #5684 (comment)
created
by
leanprover-bot
lake update
Backport
#4696:
Pull request #5684
labeled
by
leanprover-community-bot