Skip to content

Actions: leanprover/downstream-lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
Update toolchain Update toolchain #1457: Scheduled
26s master
master
26s
Post-build export Post-build export #807: completed by downstream-lean4 Bot
1m 44s
1m 44s
Post-build Post-build #1350: completed by downstream-lean4 Bot
5m 18s
5m 18s
downstream: update repo cslib Build subrepos #1396: Commit ace8be2 pushed by downstream-lean4 Bot
14m 59s master
master
14m 59s
Update subrepos Update subrepos #1457: Scheduled
3m 20s master
master
3m 20s
Post-build Post-build #1349: completed by downstream-lean4 Bot
5m 28s
5m 28s
Post-build export Post-build export #806: completed by downstream-lean4 Bot
8s
8s
Update toolchain Update toolchain #1456: Scheduled
29s master
master
29s
Post-build Post-build #1348: completed by downstream-lean4 Bot
5m 43s
5m 43s
Post-build export Post-build export #805: completed by downstream-lean4 Bot
1m 19s
1m 19s
[#14935] feat: add Html type On PR push #215: Pull request #25 synchronize by downstream-lean4 Bot
13s
13s
Merge remote-tracking branch 'origin/green' into adaptation-14935 Build subrepos #1395: Commit a237123 pushed by downstream-lean4 Bot
37m 14s adaptation-14935
adaptation-14935
37m 14s
Post-build Post-build #1347: completed by Vtec234
7m 25s
7m 25s
Post-build export Post-build export #804: completed by Vtec234
11s
11s
downstream: update repo cslib Build subrepos #1394: Commit 99322c2 pushed by downstream-lean4 Bot
17m 54s master
master
17m 54s
Update subrepos Update subrepos #1456: Scheduled
2m 32s master
master
2m 32s
[#14935] feat: add Html type On PR push #214: Pull request #25 synchronize by Vtec234
10s
10s
feat: adapt reference-manual Build subrepos #1393: Commit 33486f2 pushed by Vtec234
15m 46s adaptation-14935
adaptation-14935
15m 46s
Post-build Post-build #1346: completed by downstream-lean4 Bot
5m 19s
5m 19s
Post-build export Post-build export #803: completed by downstream-lean4 Bot
8s
8s
Post-build export Post-build export #802: completed by Vtec234
9s
9s
Post-build Post-build #1345: completed by Vtec234
8m 16s
8m 16s
[#14935] feat: add Html type On PR push #213: Pull request #25 synchronize by Vtec234
22s
22s
feat: adapt verso-web-components Build subrepos #1392: Commit b8136b7 pushed by Vtec234
17m 5s adaptation-14935
adaptation-14935
17m 5s
Post-build Post-build #1344: completed by Vtec234
6m 52s
6m 52s