Actions: leanprover/lean4
Actions
Showing runs from all workflows
89,687 workflow runs
89,687 workflow runs
BitVec.(msb, getMsbD, getLsbD)_(neg, abs)
CI
#23386:
Pull request #5721
synchronize
by
tobiasgrosser
BitVec.(msb, getMsbD, getLsbD)_(neg, abs)
Check for modules that should use `prelude`
#5644:
Pull request #5721
synchronize
by
tobiasgrosser
BitVec.(msb, getMsbD, getLsbD)_(neg, abs)
Check for copyright header
#5799:
Pull request #5721
synchronize
by
tobiasgrosser
BitVec.(msb, getMsbD, getLsbD)_(neg, abs)
Check PR title for commit convention
#10746:
Pull request #5721
synchronize
by
tobiasgrosser
BitVec.(msb, getMsbD, getLsbD)_(neg, abs)
Nix CI
#20177:
Pull request #5721
synchronize
by
tobiasgrosser
BitVec.(msb, getMsbD, getLsbD)_(neg, abs)
Check for stage0 changes
#5788:
Pull request #5721
synchronize
by
tobiasgrosser
BitVec.(msb, getMsbD, getLsbD)_(neg, abs)
Actionlint
#2501:
Pull request #5721
synchronize
by
tobiasgrosser
BitVec.(msb, getMsbD, getLsbD)_(neg, abs)
Check for modules that should use `prelude`
#5643:
Pull request #5721
synchronize
by
tobiasgrosser
BitVec.(msb, getMsbD, getLsbD)_(neg, abs)
CI
#23385:
Pull request #5721
synchronize
by
tobiasgrosser
BitVec.(msb, getMsbD, getLsbD)_(neg, abs)
Check PR title for commit convention
#10745:
Pull request #5721
synchronize
by
tobiasgrosser
BitVec.(msb, getMsbD, getLsbD)_(neg, abs)
Check for stage0 changes
#5787:
Pull request #5721
synchronize
by
tobiasgrosser
BitVec.(msb, getMsbD, getLsbD)_(neg, abs)
Nix CI
#20176:
Pull request #5721
synchronize
by
tobiasgrosser
BitVec.(msb, getMsbD, getLsbD)_(neg, abs)
Check for copyright header
#5798:
Pull request #5721
synchronize
by
tobiasgrosser
argv[0]
to main
Label PR based on Comment
#7635:
Issue comment #5820 (comment)
created
by
nomeata
argv[0]
to main
Label PR based on Comment
#7634:
Issue comment #5820 (comment)
created
by
eric-wieser