Skip to content

Actions: NashChennc/mathlib-map

Actions

Sync Mathlib graph

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
sync-mathlib.yml
This scheduled workflow is disabled because there hasn't been activity in this repository for at least 60 days. Enable this workflow to resume scheduled runs.
10 workflow runs
10 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
Sync Mathlib graph Sync Mathlib graph #10: Scheduled
1m 34s main
main
1m 34s
Sync Mathlib graph Sync Mathlib graph #9: Scheduled
1m 29s main
main
1m 29s
Sync Mathlib graph Sync Mathlib graph #8: Scheduled
1m 25s main
main
1m 25s
Sync Mathlib graph Sync Mathlib graph #7: Scheduled
1m 36s main
main
1m 36s
Sync Mathlib graph Sync Mathlib graph #6: Scheduled
1m 31s main
main
1m 31s
Sync Mathlib graph Sync Mathlib graph #5: Scheduled
1m 25s main
main
1m 25s
Sync Mathlib graph Sync Mathlib graph #4: Scheduled
1m 30s main
main
1m 30s
Sync Mathlib graph Sync Mathlib graph #3: Scheduled
1m 36s main
main
1m 36s
Sync Mathlib graph Sync Mathlib graph #2: Scheduled
1m 25s main
main
1m 25s
Sync Mathlib graph Sync Mathlib graph #1: Scheduled
1m 23s main
main
1m 23s