Skip to content

Actions: JOSHCLUNE/mathlib4

Actions

Daily CI Workflow

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
daily.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.
81 workflow runs
81 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
Daily CI Workflow Daily CI Workflow #81: Scheduled
1s master
master
1s
Daily CI Workflow Daily CI Workflow #80: Scheduled
1s master
master
1s
Daily CI Workflow Daily CI Workflow #79: Scheduled
1s master
master
1s
Daily CI Workflow Daily CI Workflow #78: Scheduled
1s master
master
1s
Daily CI Workflow Daily CI Workflow #77: Scheduled
1s master
master
1s
Daily CI Workflow Daily CI Workflow #76: Scheduled
1s master
master
1s
Daily CI Workflow Daily CI Workflow #75: Scheduled
1s master
master
1s
Daily CI Workflow Daily CI Workflow #74: Scheduled
1s master
master
1s
Daily CI Workflow Daily CI Workflow #73: Scheduled
1s master
master
1s
Daily CI Workflow Daily CI Workflow #72: Scheduled
Skipped master
master
Skipped
Daily CI Workflow Daily CI Workflow #71: Scheduled
1s master
master
1s
Daily CI Workflow Daily CI Workflow #70: Scheduled
1s master
master
1s
Daily CI Workflow Daily CI Workflow #69: Scheduled
1s master
master
1s
Daily CI Workflow Daily CI Workflow #68: Scheduled
1s master
master
1s
Daily CI Workflow Daily CI Workflow #67: Scheduled
1s master
master
1s
Daily CI Workflow Daily CI Workflow #66: Scheduled
1s master
master
1s
Daily CI Workflow Daily CI Workflow #65: Scheduled
1s master
master
1s
Daily CI Workflow Daily CI Workflow #64: Scheduled
1s master
master
1s
Daily CI Workflow Daily CI Workflow #63: Scheduled
1s master
master
1s
Daily CI Workflow Daily CI Workflow #62: Scheduled
1s master
master
1s
Daily CI Workflow Daily CI Workflow #61: Scheduled
1s master
master
1s
Daily CI Workflow Daily CI Workflow #60: Scheduled
1s master
master
1s
Daily CI Workflow Daily CI Workflow #59: Scheduled
Skipped master
master
Skipped
Daily CI Workflow Daily CI Workflow #58: Scheduled
2s master
master
2s
Daily CI Workflow Daily CI Workflow #57: Scheduled
1s master
master
1s