Skip to content

Actions: amato-gianluca/UniMath

Actions

Scheduled build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
scheduled.yml
2 workflow runs
2 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Scheduled build Scheduled build #8: Scheduled
February 1, 2025 02:50 42m 47s master
master
February 1, 2025 02:50 42m 47s
Scheduled build Scheduled build #7: Scheduled
January 15, 2025 02:47 42m 49s master
master
January 15, 2025 02:47 42m 49s