Skip to content

Actions: leanprover/lean4

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
2,500+ workflow runs
2,500+ workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
vibe-ported intblasting tests CI #63436: Pull request #15224 opened by andres-erbsen
16m 27s andres-erbsen:vibetest-intblasting
andres-erbsen:vibetest-intblasting
16m 27s
perf: do not reference the input string from recursive-call annotatio… CI #63435: Commit b318ba5 pushed by github-merge-queue Bot
34m 41s master
master
34m 41s
CI CI #63434: Merge group checks requested
13m 47s
13m 47s
perf: do not reference the input string from recursive-call annotations CI #63433: Pull request #15223 synchronize by leodemoura
7m 29s share_expr_rec_app
share_expr_rec_app
7m 29s
perf: do not reference the input string from recursive-call annotations CI #63432: Pull request #15223 opened by leodemoura
1m 28s share_expr_rec_app
share_expr_rec_app
1m 28s
feat: delay elab of full file CI #63431: Pull request #15222 synchronize by AugustDeer
13m 9s AugustDeer:master
AugustDeer:master
13m 9s
feat: delay elab of full file CI #63430: Pull request #15222 opened by AugustDeer
9m 6s AugustDeer:master
AugustDeer:master
9m 6s
feat: HTML-like syntax CI #63429: Pull request #15002 synchronize by Vtec234
8m 2s widget-html-type
widget-html-type
8m 2s
fix: lake: moduleCodegen test on Windows (#15220) CI #63428: Commit 6d7e348 pushed by github-merge-queue Bot
31m 17s master
master
31m 17s
CI CI #63427: Merge group checks requested
13m 50s
13m 50s
feat: better handling of one-field-structure constructors and projections in induction/cases CI #63426: Pull request #15221 opened by datokrat
23m 50s datokrat:onefieldstructures-cases
datokrat:onefieldstructures-cases
23m 50s
fix: lake: moduleCodegen test on Windows CI #63425: Pull request #15220 opened by tydeu
1h 30m 3s tydeu:lake/fix-moduleCodgen
tydeu:lake/fix-moduleCodgen
1h 30m 3s
feat: add throws clauses to def contracts (#15091) CI #63424: Commit 1ae7988 pushed by github-merge-queue Bot
30m 15s master
master
30m 15s
CI CI #63423: Merge group checks requested
12m 29s
12m 29s
feat: add throws clauses to def contracts CI #63422: Pull request #15091 synchronize by sgraf812
8m 16s sg/contract-def-throws
sg/contract-def-throws
8m 16s
fix: prevent duplicate module initialization in C codegen CI #63421: Pull request #15219 opened by iyassou
16m 31s iyassou:fix-dedup-emit-c
iyassou:fix-dedup-emit-c
16m 31s
feat: add throws clauses to def contracts CI #63420: Pull request #15091 synchronize by sgraf812
9m 47s sg/contract-def-throws
sg/contract-def-throws
9m 47s
refactor: rename the EPred type variable to EPosts (#15217) CI #63419: Commit 224f501 pushed by github-merge-queue Bot
33m 24s master
master
33m 24s
feat: extensible code formatter CI #63418: Pull request #15218 synchronize by mhuisi
19m 32s mhuisi:mhuisi/formatter
mhuisi:mhuisi/formatter
19m 32s
CI CI #63417: Merge group checks requested
13m 30s
13m 30s
feat: extensible code formatter CI #63416: Pull request #15218 opened by mhuisi
21m 48s mhuisi:mhuisi/formatter
mhuisi:mhuisi/formatter
21m 48s
refactor: rename the EPred type variable to EPosts CI #63415: Pull request #15217 opened by sgraf812
8m 37s sg/epred-to-eposts
sg/epred-to-eposts
8m 37s
fix: reuse the instances of a non-exposed definition in inferInstanceAs CI #63414: Pull request #15216 synchronize by gasparattila
15m 13s gasparattila:inferInstanceAs-reuse-fix
gasparattila:inferInstanceAs-reuse-fix
15m 13s
fix: reuse the instances of a non-exposed definition in inferInstanceAs CI #63413: Pull request #15216 opened by gasparattila
1m 14s gasparattila:inferInstanceAs-reuse-fix
gasparattila:inferInstanceAs-reuse-fix
1m 14s
chore: block some more tests in fsanitize (#15214) CI #63412: Commit cae2ad0 pushed by github-merge-queue Bot
30m 9s master
master
30m 9s