Skip to content

Actions: leanprover/lean4

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
15,248 workflow run results
15,248 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: revertAll must clear auxiliary declarations CI #25629: Pull request #6386 opened by leodemoura
December 14, 2024 23:40 17m 40s issue_6263
issue_6263
December 14, 2024 23:40 17m 40s
fix: simp_all? local declarations (#6385) CI #25628: Commit 94641e8 pushed by github-merge-queue bot
December 14, 2024 23:37 24m 14s master
master
December 14, 2024 23:37 24m 14s
CI CI #25627: Merge group checks requested
December 14, 2024 23:13 23m 38s
December 14, 2024 23:13 23m 38s
fix: simp_all? local declarations CI #25626: Pull request #6385 opened by leodemoura
December 14, 2024 22:54 19m 20s issue_3519
issue_3519
December 14, 2024 22:54 19m 20s
test: add test for issue #4585 (#6384) CI #25625: Commit b721c0f pushed by github-merge-queue bot
December 14, 2024 22:35 25m 14s master
master
December 14, 2024 22:35 25m 14s
CI CI #25624: Merge group checks requested
December 14, 2024 22:12 22m 32s
December 14, 2024 22:12 22m 32s
feat: replace List.lt with List.Lex CI #25623: Pull request #6379 synchronize by kim-em
December 14, 2024 22:07 13m 29s lex_prime
lex_prime
December 14, 2024 22:07 13m 29s
test: add test for issue #4585 CI #25622: Pull request #6384 opened by leodemoura
December 14, 2024 21:53 18m 16s issue_4585
issue_4585
December 14, 2024 21:53 18m 16s
fix: new code generator must generate code for opaque declarations th… CI #25621: Commit f790b19 pushed by github-merge-queue bot
December 14, 2024 20:51 22m 55s master
master
December 14, 2024 20:51 22m 55s
CI CI #25620: Merge group checks requested
December 14, 2024 20:26 24m 34s
December 14, 2024 20:26 24m 34s
fix: new code generator must generate code for opaque declarations that are not @[extern] CI #25619: Pull request #6383 opened by leodemoura
December 14, 2024 20:06 19m 40s hasValueBug
hasValueBug
December 14, 2024 20:06 19m 40s
chore: add gitpod configuration CI #25618: Pull request #6382 synchronize by eric-wieser
December 14, 2024 19:04 17m 59s eric-wieser:gitpod
eric-wieser:gitpod
December 14, 2024 19:04 17m 59s
chore: add gitpod configuration CI #25617: Pull request #6382 synchronize by eric-wieser
December 14, 2024 18:51 13m 43s eric-wieser:gitpod
eric-wieser:gitpod
December 14, 2024 18:51 13m 43s
fix: withTrackingZetaDelta must reset cache (#6381) CI #25616: Commit 6571bc0 pushed by github-merge-queue bot
December 14, 2024 18:49 23m 21s master
master
December 14, 2024 18:49 23m 21s
chore: add gitpod configuration CI #25615: Pull request #6382 synchronize by eric-wieser
December 14, 2024 18:44 7m 20s eric-wieser:gitpod
eric-wieser:gitpod
December 14, 2024 18:44 7m 20s
chore: add gitpod configuration CI #25614: Pull request #6382 synchronize by eric-wieser
December 14, 2024 18:36 8m 48s eric-wieser:gitpod
eric-wieser:gitpod
December 14, 2024 18:36 8m 48s
chore: add gitpod configuration CI #25613: Pull request #6382 synchronize by eric-wieser
December 14, 2024 18:27 8m 34s eric-wieser:gitpod
eric-wieser:gitpod
December 14, 2024 18:27 8m 34s
CI CI #25612: Merge group checks requested
December 14, 2024 18:23 25m 4s
December 14, 2024 18:23 25m 4s
chore: add gitpod configuration CI #25611: Pull request #6382 synchronize by eric-wieser
December 14, 2024 18:19 8m 43s eric-wieser:gitpod
eric-wieser:gitpod
December 14, 2024 18:19 8m 43s
chore: add gitpod configuration CI #25610: Pull request #6382 synchronize by eric-wieser
December 14, 2024 18:18 1m 26s eric-wieser:gitpod
eric-wieser:gitpod
December 14, 2024 18:18 1m 26s
chore: add gitpod configuration CI #25609: Pull request #6382 opened by eric-wieser
December 14, 2024 18:18 23s eric-wieser:gitpod
eric-wieser:gitpod
December 14, 2024 18:18 23s
fix: withTrackingZetaDelta must reset cache CI #25608: Pull request #6381 opened by leodemoura
December 14, 2024 18:04 19m 25s trackZetaDeltaIssue
trackZetaDeltaIssue
December 14, 2024 18:04 19m 25s
feat: partial_fixpoint: partial functions with equations CI #25607: Pull request #6355 synchronize by nomeata
December 14, 2024 17:07 12m 48s joachim/tailrec
joachim/tailrec
December 14, 2024 17:07 12m 48s
feat: partial_fixpoint: partial functions with equations CI #25606: Pull request #6355 synchronize by nomeata
December 14, 2024 12:32 19m 10s joachim/tailrec
joachim/tailrec
December 14, 2024 12:32 19m 10s
feat: partial_fixpoint: partial functions with equations CI #25605: Pull request #6355 synchronize by nomeata
December 14, 2024 12:18 13m 32s joachim/tailrec
joachim/tailrec
December 14, 2024 12:18 13m 32s