Skip to content

Actions: leanprover/lean4

Actions

Update stage0

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
update-stage0.yml
1,977 workflow runs
1,977 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: record all structure parents in StructureInfo (#5853) Update stage0 #1977: Commit 9847923 pushed by github-merge-queue bot
October 28, 2024 01:47 1m 15s master
master
October 28, 2024 01:47 1m 15s
feat: make it possible to use dot notation in m! strings (#5857) Update stage0 #1976: Commit 709ea6c pushed by github-merge-queue bot
October 27, 2024 23:19 1m 37s master
master
October 27, 2024 23:19 1m 37s
feat: if support and more in bv_decide (#5855) Update stage0 #1975: Commit 8c7f748 pushed by github-merge-queue bot
October 27, 2024 09:05 1m 0s master
master
October 27, 2024 09:05 1m 0s
feat: add delaborators for <|>, <*>, >>, <*, and *> (#5854) Update stage0 #1974: Commit c50f04a pushed by github-merge-queue bot
October 27, 2024 00:18 1m 3s master
master
October 27, 2024 00:18 1m 3s
feat: support BitVec.ofBool in bv_decide (#5852) Update stage0 #1973: Commit 8b5443e pushed by github-merge-queue bot
October 26, 2024 19:37 1m 32s master
master
October 26, 2024 19:37 1m 32s
feat: add (msb, getMsbD)_twoPow (#5851) Update stage0 #1972: Commit 08c36e4 pushed by github-merge-queue bot
October 26, 2024 17:57 48s master
master
October 26, 2024 17:57 48s
fix: deprecations in Init.Data.Array.Basic (#5848) Update stage0 #1971: Commit 8f0328b pushed by github-merge-queue bot
October 26, 2024 11:03 59s master
master
October 26, 2024 11:03 59s
refactor: Predefinition.Structural code cleanup (#5850) Update stage0 #1970: Commit 38490a4 pushed by github-merge-queue bot
October 26, 2024 10:56 1m 42s master
master
October 26, 2024 10:56 1m 42s
fix: reduce types when constructing default values in structure insta… Update stage0 #1969: Commit 1303665 pushed by github-merge-queue bot
October 26, 2024 01:07 25s master
master
October 26, 2024 01:07 25s
chore: remove unnecessary private Inhabited instance (#5846) Update stage0 #1968: Commit 4068cf0 pushed by github-merge-queue bot
October 25, 2024 23:53 1m 51s master
master
October 25, 2024 23:53 1m 51s
fix: declaration ranges changed after stage0 update (#5845) Update stage0 #1967: Commit abe6d5b pushed by github-merge-queue bot
October 25, 2024 22:05 1m 32s master
master
October 25, 2024 22:05 1m 32s
chore: update stage0 Update stage0 #1966: Commit f292184 pushed by Kha
October 25, 2024 20:35 27s master
master
October 25, 2024 20:35 27s
Update stage0 Update stage0 #1965: Manually run by kmill
October 25, 2024 20:21 13m 37s master
master
October 25, 2024 20:21 13m 37s
chore: refactor structure command, fixes (#5842) Update stage0 #1964: Commit a310488 pushed by github-merge-queue bot
October 25, 2024 20:10 42s master
master
October 25, 2024 20:10 42s
test: test case for #5836 (#5843) Update stage0 #1963: Commit 57a95c8 pushed by github-merge-queue bot
October 25, 2024 20:00 59s master
master
October 25, 2024 20:00 59s
feat: preliminary work for parent projections in StructureInfo (#5841) Update stage0 #1962: Commit 266ae42 pushed by github-merge-queue bot
October 25, 2024 19:19 1m 9s master
master
October 25, 2024 19:19 1m 9s
chore: cleanup some deprecations in tests (#5834) Update stage0 #1961: Commit 4c0d12b pushed by github-merge-queue bot
October 25, 2024 11:43 53s master
master
October 25, 2024 11:43 53s
fix: instantiateMVars slowdown in the language server (#5805) Update stage0 #1960: Commit 748f0d6 pushed by github-merge-queue bot
October 25, 2024 09:58 1m 3s master
master
October 25, 2024 09:58 1m 3s
feat: Array.forIn', and relate to List (#5833) Update stage0 #1959: Commit 07ea626 pushed by github-merge-queue bot
October 25, 2024 07:47 23s master
master
October 25, 2024 07:47 23s
feat: define Int8 (#5790) Update stage0 #1958: Commit 193b6f2 pushed by github-merge-queue bot
October 25, 2024 06:36 53s master
master
October 25, 2024 06:36 53s
fix: wildcard generalize only generalizes visible theorems (#4846) Update stage0 #1957: Commit 19ce204 pushed by github-merge-queue bot
October 25, 2024 05:33 1m 51s master
master
October 25, 2024 05:33 1m 51s
chore: minor fixes in Array lemmas (#5832) Update stage0 #1956: Commit 059674d pushed by github-merge-queue bot
October 25, 2024 04:52 58s master
master
October 25, 2024 04:52 58s
fix: reduce let-bodies correctly in StructInst (#3152) Update stage0 #1955: Commit 7150a0d pushed by github-merge-queue bot
October 24, 2024 23:56 57s master
master
October 24, 2024 23:56 57s
fix: liftCommandElabM now carries more state over (#5800) Update stage0 #1954: Commit 0725cd3 pushed by github-merge-queue bot
October 24, 2024 23:44 1m 33s master
master
October 24, 2024 23:44 1m 33s
chore: review delaborators, make sure they respond to pp.explicit (… Update stage0 #1953: Commit e07272a pushed by github-merge-queue bot
October 24, 2024 23:26 1m 18s master
master
October 24, 2024 23:26 1m 18s