Skip to content

Actions: leanprover/lean4

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
27,315 workflow runs
27,315 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: fix two semantic merge errors in SymM mvcgen (#12845) CI #53584: Commit e9e46f4 pushed by github-merge-queue bot
In progress master
master
In progress
perf: fuse fvar substitution into instantiateMVars CI #53583: Pull request #12233 synchronize by nomeata
In progress joachim/instantiateMVarsNoUpdate
joachim/instantiateMVarsNoUpdate
In progress
perf: fuse fvar substitution into instantiateMVars CI #53582: Pull request #12233 synchronize by nomeata
6m 19s joachim/instantiateMVarsNoUpdate
joachim/instantiateMVarsNoUpdate
6m 19s
CI CI #53581: Merge group checks requested
22m 36s
22m 36s
chore: fix two semantic merge errors in SymM mvcgen CI #53580: Pull request #12845 opened by sgraf812
55m 24s sg/mvcgen-errors
sg/mvcgen-errors
55m 24s
chore: turn on new do elaborator in Core CI #53579: Pull request #12656 synchronize by sgraf812
47m 1s sg/newdo-core
sg/newdo-core
47m 1s
perf: fuse fvar substitution into instantiateMVars CI #53578: Pull request #12233 synchronize by nomeata
31m 8s joachim/instantiateMVarsNoUpdate
joachim/instantiateMVarsNoUpdate
31m 8s
chore: turn on new do elaborator in Core CI #53577: Pull request #12656 synchronize by sgraf812
23m 55s sg/newdo-core
sg/newdo-core
23m 55s
feat: append iterator combinator CI #53576: Pull request #12844 opened by datokrat
49m 34s paul/iter-append
paul/iter-append
49m 34s
chore: turn on new do elaborator in Core CI #53575: Pull request #12656 synchronize by sgraf812
2m 38s sg/newdo-core
sg/newdo-core
2m 38s
chore: turn on new do elaborator in Core CI #53574: Pull request #12656 synchronize by sgraf812
6m 24s sg/newdo-core
sg/newdo-core
6m 24s
fix: make the omit, unusedSectionVars and loopingSimpArgs linter respect linter.all CI #53573: Pull request #12563 synchronize by grunweg
1h 4m 25s grunweg:linterall-correct
grunweg:linterall-correct
1h 4m 25s
fix: make the omit, unusedSectionVars and loopingSimpArgs linter respect linter.all CI #53572: Pull request #12563 synchronize by grunweg
2m 40s grunweg:linterall-correct
grunweg:linterall-correct
2m 40s
fix: namespace used in private import and current module vanishes dowstream CI #53571: Pull request #12840 synchronize by Kha
1h 16m 0s Kha:push-ttrmmvzpzvnt
Kha:push-ttrmmvzpzvnt
1h 16m 0s
fix: make the omit, unusedSectionVars and loopingSimpArgs linter respect linter.all CI #53570: Pull request #12563 synchronize by grunweg
4m 34s grunweg:linterall-correct
grunweg:linterall-correct
4m 34s
chore: turn on new do elaborator in Core CI #53569: Pull request #12656 synchronize by sgraf812
14m 47s sg/newdo-core
sg/newdo-core
14m 47s
perf: fuse fvar substitution into instantiateMVars CI #53568: Pull request #12233 synchronize by nomeata
37m 1s joachim/instantiateMVarsNoUpdate
joachim/instantiateMVarsNoUpdate
37m 1s
chore: turn on new do elaborator in Core CI #53567: Pull request #12656 synchronize by sgraf812
4m 7s sg/newdo-core
sg/newdo-core
4m 7s
perf: fuse fvar substitution into instantiateMVars CI #53566: Pull request #12233 synchronize by nomeata
5m 12s joachim/instantiateMVarsNoUpdate
joachim/instantiateMVarsNoUpdate
5m 12s
chore: update stage0 CI #53565: Commit e2b500b pushed by Kha
1h 9m 29s master
master
1h 9m 29s
perf: fix quadratic scaling in unused variable linter CI #53564: Pull request #12843 opened by nomeata
45m 4s joachim/bench-linter-fix
joachim/bench-linter-fix
45m 4s
CI CI #53563: Scheduled
1h 50m 14s master
master
1h 50m 14s
feat: have #eval elaborate variables (#11427) CI #53562: Commit e804829 pushed by github-merge-queue bot
56m 54s master
master
56m 54s
CI CI #53561: Merge group checks requested
23m 59s
23m 59s
feat: mutually dependent structure default values, and avoiding sel… CI #53560: Commit 27b583d pushed by github-merge-queue bot
38m 17s master
master
38m 17s