Skip to content

Actions: Irvinwop/lean-mathlib-bundle

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
10 workflow runs
10 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
Bundle refresh channel (keep open) Build Lean + Mathlib bundle #9: Pull request #1 synchronize by github-actions Bot
Action required snapshot
snapshot
Action required
Refresh bundle monthly Refresh bundle monthly #1: Scheduled
9s main
main
9s
Build Lean + Mathlib bundle Build Lean + Mathlib bundle #8: Manually run by Irvinwop
6m 58s main
main
6m 58s
Build Lean + Mathlib bundle Build Lean + Mathlib bundle #7: Manually run by Irvinwop
5m 51s main
main
5m 51s
Build Lean + Mathlib bundle Build Lean + Mathlib bundle #6: Manually run by Irvinwop
11m 56s main
main
11m 56s
Bundle refresh channel (keep open) Build Lean + Mathlib bundle #5: Pull request #1 synchronize by Irvinwop
7m 54s snapshot
snapshot
7m 54s
Bundle refresh channel (keep open) Build Lean + Mathlib bundle #4: Pull request #1 synchronize by Irvinwop
12m 47s snapshot
snapshot
12m 47s
Bundle refresh channel (keep open) Build Lean + Mathlib bundle #3: Pull request #1 opened by Irvinwop
10m 12s snapshot
snapshot
10m 12s
Build Lean + Mathlib bundle Build Lean + Mathlib bundle #2: Manually run by Irvinwop
8m 38s main
main
8m 38s
Build Lean + Mathlib bundle Build Lean + Mathlib bundle #1: Manually run by Irvinwop
3m 37s main
main
3m 37s