Skip to content

Actions: leanprover/downstream-lean4

Actions

Post-build export

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build-post-export.yml
816 workflow runs
816 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
Post-build export Post-build export #816: completed by downstream-lean4 Bot
59s
59s
Post-build export Post-build export #815: completed by downstream-lean4 Bot
2m 2s
2m 2s
Post-build export Post-build export #814: completed by downstream-lean4 Bot
2s
2s
Post-build export Post-build export #813: completed by downstream-lean4 Bot
1m 15s
1m 15s
Post-build export Post-build export #812: completed by downstream-lean4 Bot
2s
2s
Post-build export Post-build export #811: completed by downstream-lean4 Bot
1m 21s
1m 21s
Post-build export Post-build export #810: completed by downstream-lean4 Bot
1m 1s
1m 1s
Post-build export Post-build export #809: completed by downstream-lean4 Bot
1m 0s
1m 0s
Post-build export Post-build export #808: completed by downstream-lean4 Bot
52s
52s
Post-build export Post-build export #807: completed by downstream-lean4 Bot
1m 44s
1m 44s
Post-build export Post-build export #806: completed by downstream-lean4 Bot
8s
8s
Post-build export Post-build export #805: completed by downstream-lean4 Bot
1m 19s
1m 19s
Post-build export Post-build export #804: completed by Vtec234
11s
11s
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 export Post-build export #801: completed by Vtec234
1s
1s
Post-build export Post-build export #800: completed by downstream-lean4 Bot
1m 8s
1m 8s
Post-build export Post-build export #799: completed by Vtec234
9s
9s
Post-build export Post-build export #798: completed by downstream-lean4 Bot
2s
2s
Post-build export Post-build export #797: completed by Garmelon
2m 12s
2m 12s
Post-build export Post-build export #796: completed by Garmelon
2m 54s
2m 54s
Post-build export Post-build export #795: completed by downstream-lean4 Bot
3m 17s
3m 17s
Post-build export Post-build export #794: completed by downstream-lean4 Bot
2m 46s
2m 46s
Post-build export Post-build export #793: completed by Garmelon
2m 51s
2m 51s
Post-build export Post-build export #792: completed by downstream-lean4 Bot
1m 0s
1m 0s