Actions: leanprover/lean4
Actions
14,205 workflow runs
14,205 workflow runs
StructureInfo
(#5853)
CI
#23397:
Commit 9847923
pushed
by
github-merge-queue
bot
StructureInfo
CI
#23394:
Pull request #5853
synchronize
by
kmill
m!
strings (#5857)
CI
#23393:
Commit 709ea6c
pushed
by
github-merge-queue
bot
m!
strings
CI
#23391:
Pull request #5857
synchronize
by
kmill
BitVec.(msb, getMsbD, getLsbD)_(neg, abs)
CI
#23390:
Pull request #5721
synchronize
by
luisacicolini
BitVec.(msb, getMsbD, getLsbD)_(neg, abs)
CI
#23388:
Pull request #5721
synchronize
by
tobiasgrosser
BitVec.(msb, getMsbD, getLsbD)_(neg, abs)
CI
#23387:
Pull request #5721
synchronize
by
tobiasgrosser
BitVec.(msb, getMsbD, getLsbD)_(neg, abs)
CI
#23386:
Pull request #5721
synchronize
by
tobiasgrosser
BitVec.(msb, getMsbD, getLsbD)_(neg, abs)
CI
#23385:
Pull request #5721
synchronize
by
tobiasgrosser
m!
strings
CI
#23381:
Pull request #5857
synchronize
by
kmill
m!
strings
CI
#23380:
Pull request #5857
opened
by
kmill
addPPExplicitToExposeDiff
from assigning metavariables
CI
#23379:
Pull request #5276
synchronize
by
kmill
addPPExplicitToExposeDiff
from assigning metavariables
CI
#23378:
Pull request #5276
synchronize
by
kmill
<|>
, <*>
, >>
, <*
, and *>
(#5854)
CI
#23377:
Commit c50f04a
pushed
by
github-merge-queue
bot
addPPExplicitToExposeDiff
from assigning metavariables
CI
#23376:
Pull request #5276
synchronize
by
kmill
addPPExplicitToExposeDiff
from assigning metavariables
CI
#23375:
Pull request #5276
synchronize
by
kmill
instance
yields theorems
CI
#23373:
Pull request #5856
opened
by
kmill