Skip to content

Actions: leanprover/lean4

Actions

CI

Actions

Loading...

Show workflow options

Create status badge

ci.yml
7,658 workflow runs
7,658 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
feat: support Lake for building Lean core oleans CI #16392: Pull request #3886 synchronize by tydeu
May 3, 2024 18:52 39m 20s david-christiansen:lake-build-core
david-christiansen:lake-build-core
May 3, 2024 18:52 39m 20s
feat: incremental elaboration of definition headers, bodies, and tactics CI #16391: Pull request #3940 synchronize by Kha
May 3, 2024 15:56 8m 52s Kha:incr-tactic
Kha:incr-tactic
May 3, 2024 15:56 8m 52s
feat: well-founded definitions irreducible by default CI #16390: Pull request #4061 synchronize by nomeata
May 3, 2024 15:05 15m 12s joachim/wf-irred4
joachim/wf-irred4
May 3, 2024 15:05 15m 12s
feat: well-founded definitions irreducible by default CI #16389: Pull request #4061 synchronize by nomeata
May 3, 2024 14:38 14m 54s joachim/wf-irred4
joachim/wf-irred4
May 3, 2024 14:38 14m 54s
feat: add seal and unseal commands (#4053) CI #16388: Commit e362b50 pushed by github-merge-queue bot
May 3, 2024 14:24 38m 59s master
master
May 3, 2024 14:24 38m 59s
CI CI #16387: Merge group checks requested
May 3, 2024 13:45 38m 40s
May 3, 2024 13:45 38m 40s
CI CI #16386: Merge group checks requested
May 3, 2024 13:45 39m 15s
May 3, 2024 13:45 39m 15s
chore: modernize build instructions CI #16385: Pull request #4032 labeled by Kha
May 3, 2024 13:15 39m 49s Kha:preset
Kha:preset
May 3, 2024 13:15 39m 49s
chore: modernize build instructions CI #16384: Pull request #4032 synchronize by Kha
May 3, 2024 13:14 52s Kha:preset
Kha:preset
May 3, 2024 13:14 52s
fix: remove Subtype.instInhabited CI #16383: Pull request #4055 labeled by leanprover-community-mathlib4-bot
May 3, 2024 13:04 15m 38s kmill:instSubtype
kmill:instSubtype
May 3, 2024 13:04 15m 38s
doc: layout algorithm (#3915) CI #16382: Commit 2db602c pushed by github-merge-queue bot
May 3, 2024 12:26 38m 11s master
master
May 3, 2024 12:26 38m 11s
CI CI #16381: Merge group checks requested
May 3, 2024 12:17 30m 12s
May 3, 2024 12:17 30m 12s
feat: well-founded definitions irreducible by default CI #16380: Pull request #4061 synchronize by nomeata
May 3, 2024 12:13 14m 52s joachim/wf-irred4
joachim/wf-irred4
May 3, 2024 12:13 14m 52s
chore: modernize build instructions CI #16379: Pull request #4032 synchronize by Kha
May 3, 2024 12:01 15m 28s Kha:preset
Kha:preset
May 3, 2024 12:01 15m 28s
chore: modernize build instructions CI #16378: Pull request #4032 synchronize by Kha
May 3, 2024 11:52 9m 38s Kha:preset
Kha:preset
May 3, 2024 11:52 9m 38s
CI CI #16377: Merge group checks requested
May 3, 2024 11:47 38m 37s
May 3, 2024 11:47 38m 37s
feat: well-founded definitions irreducible by default CI #16376: Pull request #4061 synchronize by nomeata
May 3, 2024 11:08 15m 4s joachim/wf-irred4
joachim/wf-irred4
May 3, 2024 11:08 15m 4s
feat: well-founded definitions irreducible by default CI #16375: Pull request #4061 labeled by leanprover-community-mathlib4-bot
May 3, 2024 10:47 15m 10s joachim/wf-irred4
joachim/wf-irred4
May 3, 2024 10:47 15m 10s
fix: remove Subtype.instInhabited CI #16374: Pull request #4055 synchronize by kmill
May 3, 2024 10:39 14m 49s kmill:instSubtype
kmill:instSubtype
May 3, 2024 10:39 14m 49s
feat: well-founded definitions irreducible by default CI #16373: Pull request #4061 opened by nomeata
May 3, 2024 10:22 17m 29s joachim/wf-irred4
joachim/wf-irred4
May 3, 2024 10:22 17m 29s
CI CI #16372: Merge group checks requested
May 3, 2024 07:55 29m 30s
May 3, 2024 07:55 29m 30s
chore: modernize build instructions CI #16371: Pull request #4032 synchronize by Kha
May 3, 2024 07:39 15m 33s Kha:preset
Kha:preset
May 3, 2024 07:39 15m 33s
feat: support Lake for building Lean core oleans CI #16370: Pull request #3886 synchronize by tydeu
May 3, 2024 07:35 59m 34s david-christiansen:lake-build-core
david-christiansen:lake-build-core
May 3, 2024 07:35 59m 34s
CI CI #16369: Scheduled
May 3, 2024 07:03 50m 18s master
master
May 3, 2024 07:03 50m 18s
feat: support idents in auto tactics (#3328) CI #16368: Commit 00cf577 pushed by github-merge-queue bot
May 3, 2024 05:39 38m 7s master
master
May 3, 2024 05:39 38m 7s