Actions: leanprover/lean4
Actions
1,977 workflow runs
1,977 workflow runs
StructureInfo
(#5853)
Update stage0
#1977:
Commit 9847923
pushed
by
github-merge-queue
bot
m!
strings (#5857)
Update stage0
#1976:
Commit 709ea6c
pushed
by
github-merge-queue
bot
<|>
, <*>
, >>
, <*
, and *>
(#5854)
Update stage0
#1974:
Commit c50f04a
pushed
by
github-merge-queue
bot
(msb, getMsbD)_twoPow
(#5851)
Update stage0
#1972:
Commit 08c36e4
pushed
by
github-merge-queue
bot
Inhabited
instance (#5846)
Update stage0
#1968:
Commit 4068cf0
pushed
by
github-merge-queue
bot
structure
command, fixes (#5842)
Update stage0
#1964:
Commit a310488
pushed
by
github-merge-queue
bot
StructureInfo
(#5841)
Update stage0
#1962:
Commit 266ae42
pushed
by
github-merge-queue
bot
instantiateMVars
slowdown in the language server (#5805)
Update stage0
#1960:
Commit 748f0d6
pushed
by
github-merge-queue
bot
generalize
only generalizes visible theorems (#4846)
Update stage0
#1957:
Commit 19ce204
pushed
by
github-merge-queue
bot
StructInst
(#3152)
Update stage0
#1955:
Commit 7150a0d
pushed
by
github-merge-queue
bot
liftCommandElabM
now carries more state over (#5800)
Update stage0
#1954:
Commit 0725cd3
pushed
by
github-merge-queue
bot
pp.explicit
(…
Update stage0
#1953:
Commit e07272a
pushed
by
github-merge-queue
bot