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 #733: Scheduled
September 23, 2024 01:38 1h 4m 41s main
main
September 23, 2024 01:38 1h 4m 41s
Ubuntu_dev Ubuntu_dev #732: Scheduled
September 22, 2024 01:43 1h 4m 49s main
main
September 22, 2024 01:43 1h 4m 49s
Ubuntu_dev Ubuntu_dev #731: Scheduled
September 21, 2024 01:34 1h 5m 30s main
main
September 21, 2024 01:34 1h 5m 30s
Ubuntu_dev Ubuntu_dev #730: Scheduled
September 20, 2024 01:36 1h 4m 48s main
main
September 20, 2024 01:36 1h 4m 48s
Ubuntu_dev Ubuntu_dev #729: Scheduled
September 19, 2024 01:36 1h 3m 46s main
main
September 19, 2024 01:36 1h 3m 46s
Ubuntu_dev Ubuntu_dev #728: Scheduled
September 18, 2024 01:34 1h 5m 8s main
main
September 18, 2024 01:34 1h 5m 8s
Ubuntu_dev Ubuntu_dev #727: Scheduled
September 17, 2024 01:13 1h 5m 21s main
main
September 17, 2024 01:13 1h 5m 21s
Ubuntu_dev Ubuntu_dev #726: Scheduled
September 16, 2024 01:40 1h 5m 12s main
main
September 16, 2024 01:40 1h 5m 12s
Ubuntu_dev Ubuntu_dev #725: Scheduled
September 15, 2024 01:43 1h 5m 24s main
main
September 15, 2024 01:43 1h 5m 24s
Ubuntu_dev Ubuntu_dev #724: Scheduled
September 14, 2024 01:26 1h 6m 33s main
main
September 14, 2024 01:26 1h 6m 33s
Ubuntu_dev Ubuntu_dev #723: Scheduled
September 13, 2024 01:34 1h 4m 23s main
main
September 13, 2024 01:34 1h 4m 23s
Ubuntu_dev Ubuntu_dev #722: Scheduled
September 12, 2024 01:34 2h 6m 23s main
main
September 12, 2024 01:34 2h 6m 23s
Ubuntu_dev Ubuntu_dev #721: Scheduled
September 11, 2024 01:33 1h 6m 31s main
main
September 11, 2024 01:33 1h 6m 31s
Ubuntu_dev Ubuntu_dev #720: Scheduled
September 10, 2024 01:35 1h 6m 4s main
main
September 10, 2024 01:35 1h 6m 4s
Ubuntu_dev Ubuntu_dev #719: Scheduled
September 9, 2024 01:36 1h 7m 16s main
main
September 9, 2024 01:36 1h 7m 16s
Ubuntu_dev Ubuntu_dev #718: Scheduled
September 8, 2024 01:39 1h 6m 53s main
main
September 8, 2024 01:39 1h 6m 53s
Ubuntu_dev Ubuntu_dev #717: Scheduled
September 7, 2024 01:25 1h 6m 0s main
main
September 7, 2024 01:25 1h 6m 0s
Ubuntu_dev Ubuntu_dev #716: Scheduled
September 6, 2024 01:26 30m 50s main
main
September 6, 2024 01:26 30m 50s
Ubuntu_dev Ubuntu_dev #715: Scheduled
September 5, 2024 01:33 1h 6m 17s main
main
September 5, 2024 01:33 1h 6m 17s
Ubuntu_dev Ubuntu_dev #714: Scheduled
September 4, 2024 01:26 1h 5m 55s main
main
September 4, 2024 01:26 1h 5m 55s
Ubuntu_dev Ubuntu_dev #713: Scheduled
September 3, 2024 01:25 1h 7m 2s main
main
September 3, 2024 01:25 1h 7m 2s
Ubuntu_dev Ubuntu_dev #712: Scheduled
September 2, 2024 01:34 1h 6m 9s main
main
September 2, 2024 01:34 1h 6m 9s
Ubuntu_dev Ubuntu_dev #711: Scheduled
September 1, 2024 01:45 1h 6m 32s main
main
September 1, 2024 01:45 1h 6m 32s
Ubuntu_dev Ubuntu_dev #710: Scheduled
August 31, 2024 01:25 1h 6m 24s main
main
August 31, 2024 01:25 1h 6m 24s
Ubuntu_dev Ubuntu_dev #709: Scheduled
August 30, 2024 01:26 1h 7m 2s main
main
August 30, 2024 01:26 1h 7m 2s