Actions: leanprover/lean4
Actions
13,279 workflow runs
13,279 workflow runs
#check
)
Nix CI
#20189:
Pull request #5827
synchronize
by
kmill
StructureInfo
(#5853)
Nix CI
#20188:
Commit 9847923
pushed
by
github-merge-queue
bot
#check
)
Nix CI
#20186:
Pull request #5827
synchronize
by
kmill
StructureInfo
Nix CI
#20185:
Pull request #5853
synchronize
by
kmill
m!
strings (#5857)
Nix CI
#20184:
Commit 709ea6c
pushed
by
github-merge-queue
bot
m!
strings
Nix CI
#20182:
Pull request #5857
synchronize
by
kmill
BitVec.(msb, getMsbD, getLsbD)_(neg, abs)
Nix CI
#20181:
Pull request #5721
synchronize
by
luisacicolini
BitVec.(msb, getMsbD, getLsbD)_(neg, abs)
Nix CI
#20179:
Pull request #5721
synchronize
by
tobiasgrosser
BitVec.(msb, getMsbD, getLsbD)_(neg, abs)
Nix CI
#20178:
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)
Nix CI
#20176:
Pull request #5721
synchronize
by
tobiasgrosser
m!
strings
Nix CI
#20173:
Pull request #5857
synchronize
by
kmill
m!
strings
Nix CI
#20172:
Pull request #5857
opened
by
kmill
addPPExplicitToExposeDiff
from assigning metavariables
Nix CI
#20171:
Pull request #5276
synchronize
by
kmill
addPPExplicitToExposeDiff
from assigning metavariables
Nix CI
#20170:
Pull request #5276
synchronize
by
kmill
<|>
, <*>
, >>
, <*
, and *>
(#5854)
Nix CI
#20169:
Commit c50f04a
pushed
by
github-merge-queue
bot
addPPExplicitToExposeDiff
from assigning metavariables
Nix CI
#20168:
Pull request #5276
synchronize
by
kmill
addPPExplicitToExposeDiff
from assigning metavariables
Nix CI
#20167:
Pull request #5276
synchronize
by
kmill
instance
yields theorems
Nix CI
#20165:
Pull request #5856
opened
by
kmill