Skip to content

Actions: leanprover-community/downstream-reports

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
92 workflow runs
92 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
generate-pages generate-pages #45: completed by marcelolynch
50s
50s
mathlib-downstream-summary mathlib-downstream-summary #16: completed by marcelolynch
23s
23s
mathlib-downstream-report mathlib-downstream-report #10: Manually run by marcelolynch
3m 12s main
main
3m 12s
generate-pages generate-pages #44: completed by marcelolynch
43s
43s
mathlib-downstream-summary mathlib-downstream-summary #15: completed by marcelolynch
20s
20s
mathlib-downstream-report mathlib-downstream-report #9: Scheduled
1h 29m 50s main
main
1h 29m 50s
mathlib-downstream-summary mathlib-downstream-summary #14: completed by marcelolynch
16s
16s
generate-pages generate-pages #43: completed by marcelolynch
32s
32s
mathlib-downstream-report mathlib-downstream-report #8: Manually run by marcelolynch
35m 24s main
main
35m 24s
generate-pages generate-pages #42: completed by marcelolynch
47s
47s
mathlib-downstream-summary mathlib-downstream-summary #13: completed by marcelolynch
2s
2s
mathlib-downstream-report mathlib-downstream-report #7: Scheduled
1h 2m 2s main
main
1h 2m 2s
mathlib-downstream-summary mathlib-downstream-summary #10: Manually run by marcelolynch
32s main
main
32s
generate-pages generate-pages #41: completed by marcelolynch
44s
44s
mathlib-downstream-summary mathlib-downstream-summary #9: completed by marcelolynch
19s
19s
mathlib-downstream-report mathlib-downstream-report #6: Scheduled
27m 21s main
main
27m 21s
mathlib-downstream-summary mathlib-downstream-summary #8: Manually run by marcelolynch
18s main
main
18s
generate-pages generate-pages #40: completed by marcelolynch
36s
36s
mathlib-downstream-summary mathlib-downstream-summary #7: completed by marcelolynch
27s
27s
mathlib-downstream-report mathlib-downstream-report #5: Scheduled
44m 7s main
main
44m 7s
generate-pages generate-pages #39: completed by marcelolynch
29s
29s
mathlib-downstream-summary mathlib-downstream-summary #6: completed by marcelolynch
27s
27s
mathlib-downstream-report mathlib-downstream-report #4: Scheduled
1h 30m 48s main
main
1h 30m 48s
generate-pages generate-pages #38: completed by marcelolynch
33s
33s
mathlib-downstream-summary mathlib-downstream-summary #5: completed by marcelolynch
28s
28s
⚡