Skip to content

Actions: coq/platform

Actions

Ubuntu_dev

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ubuntu_dev.yml
464 workflow runs
464 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Ubuntu_dev Ubuntu_dev #758: Scheduled
October 18, 2024 01:39 1h 5m 49s main
main
October 18, 2024 01:39 1h 5m 49s
Ubuntu_dev Ubuntu_dev #757: Scheduled
October 17, 2024 01:39 1h 6m 20s main
main
October 17, 2024 01:39 1h 6m 20s
Ubuntu_dev Ubuntu_dev #756: Scheduled
October 16, 2024 01:40 1h 5m 37s main
main
October 16, 2024 01:40 1h 5m 37s
Ubuntu_dev Ubuntu_dev #755: Scheduled
October 15, 2024 01:40 1h 5m 22s main
main
October 15, 2024 01:40 1h 5m 22s
Ubuntu_dev Ubuntu_dev #754: Scheduled
October 14, 2024 01:41 1h 6m 30s main
main
October 14, 2024 01:41 1h 6m 30s
Ubuntu_dev Ubuntu_dev #753: Scheduled
October 13, 2024 01:44 1h 6m 10s main
main
October 13, 2024 01:44 1h 6m 10s
Ubuntu_dev Ubuntu_dev #752: Scheduled
October 12, 2024 01:36 1h 5m 5s main
main
October 12, 2024 01:36 1h 5m 5s
Ubuntu_dev Ubuntu_dev #751: Scheduled
October 11, 2024 01:38 1h 5m 1s main
main
October 11, 2024 01:38 1h 5m 1s
Ubuntu_dev Ubuntu_dev #750: Scheduled
October 10, 2024 01:38 1h 5m 53s main
main
October 10, 2024 01:38 1h 5m 53s
Ubuntu_dev Ubuntu_dev #749: Scheduled
October 9, 2024 01:38 1h 5m 43s main
main
October 9, 2024 01:38 1h 5m 43s
Ubuntu_dev Ubuntu_dev #748: Scheduled
October 8, 2024 01:39 1h 7m 0s main
main
October 8, 2024 01:39 1h 7m 0s
Ubuntu_dev Ubuntu_dev #747: Scheduled
October 7, 2024 01:41 1h 4m 48s main
main
October 7, 2024 01:41 1h 4m 48s
Ubuntu_dev Ubuntu_dev #746: Scheduled
October 6, 2024 01:44 1h 5m 9s main
main
October 6, 2024 01:44 1h 5m 9s
Ubuntu_dev Ubuntu_dev #745: Scheduled
October 5, 2024 01:37 1h 4m 15s main
main
October 5, 2024 01:37 1h 4m 15s
Ubuntu_dev Ubuntu_dev #744: Scheduled
October 4, 2024 01:39 1h 4m 57s main
main
October 4, 2024 01:39 1h 4m 57s
Ubuntu_dev Ubuntu_dev #743: Scheduled
October 3, 2024 01:38 1h 4m 49s main
main
October 3, 2024 01:38 1h 4m 49s
Ubuntu_dev Ubuntu_dev #742: Scheduled
October 2, 2024 01:38 1h 1m 25s main
main
October 2, 2024 01:38 1h 1m 25s
Ubuntu_dev Ubuntu_dev #741: Scheduled
October 1, 2024 01:47 1h 4m 49s main
main
October 1, 2024 01:47 1h 4m 49s
Ubuntu_dev Ubuntu_dev #740: Scheduled
September 30, 2024 01:41 1h 5m 28s main
main
September 30, 2024 01:41 1h 5m 28s
Ubuntu_dev Ubuntu_dev #739: Scheduled
September 29, 2024 01:45 1h 5m 12s main
main
September 29, 2024 01:45 1h 5m 12s
Ubuntu_dev Ubuntu_dev #738: Scheduled
September 28, 2024 01:38 1h 5m 32s main
main
September 28, 2024 01:38 1h 5m 32s
Ubuntu_dev Ubuntu_dev #737: Scheduled
September 27, 2024 01:38 1h 5m 16s main
main
September 27, 2024 01:38 1h 5m 16s
Ubuntu_dev Ubuntu_dev #736: Scheduled
September 26, 2024 01:37 1h 4m 36s main
main
September 26, 2024 01:37 1h 4m 36s
Ubuntu_dev Ubuntu_dev #735: Scheduled
September 25, 2024 01:39 1h 4m 53s main
main
September 25, 2024 01:39 1h 4m 53s
Ubuntu_dev Ubuntu_dev #734: Scheduled
September 24, 2024 01:38 1h 5m 10s main
main
September 24, 2024 01:38 1h 5m 10s