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 #783: Scheduled
November 12, 2024 01:36 1h 10m 48s main
main
November 12, 2024 01:36 1h 10m 48s
Ubuntu_dev Ubuntu_dev #782: Scheduled
November 11, 2024 01:39 1h 4m 27s main
main
November 11, 2024 01:39 1h 4m 27s
Ubuntu_dev Ubuntu_dev #781: Scheduled
November 10, 2024 01:42 1h 8m 40s main
main
November 10, 2024 01:42 1h 8m 40s
Ubuntu_dev Ubuntu_dev #780: Scheduled
November 9, 2024 01:34 1h 4m 51s main
main
November 9, 2024 01:34 1h 4m 51s
Ubuntu_dev Ubuntu_dev #779: Scheduled
November 8, 2024 01:37 1h 5m 33s main
main
November 8, 2024 01:37 1h 5m 33s
Ubuntu_dev Ubuntu_dev #778: Scheduled
November 7, 2024 01:37 1h 5m 24s main
main
November 7, 2024 01:37 1h 5m 24s
Ubuntu_dev Ubuntu_dev #777: Scheduled
November 6, 2024 01:37 1h 6m 14s main
main
November 6, 2024 01:37 1h 6m 14s
Ubuntu_dev Ubuntu_dev #776: Scheduled
November 5, 2024 01:37 1h 3m 37s main
main
November 5, 2024 01:37 1h 3m 37s
Ubuntu_dev Ubuntu_dev #775: Scheduled
November 4, 2024 01:41 1h 6m 52s main
main
November 4, 2024 01:41 1h 6m 52s
Ubuntu_dev Ubuntu_dev #774: Scheduled
November 3, 2024 01:45 1h 5m 26s main
main
November 3, 2024 01:45 1h 5m 26s
Ubuntu_dev Ubuntu_dev #773: Scheduled
November 2, 2024 01:37 1h 6m 37s main
main
November 2, 2024 01:37 1h 6m 37s
Ubuntu_dev Ubuntu_dev #772: Scheduled
November 1, 2024 01:46 1h 5m 27s main
main
November 1, 2024 01:46 1h 5m 27s
Ubuntu_dev Ubuntu_dev #771: Scheduled
October 31, 2024 01:41 1h 5m 28s main
main
October 31, 2024 01:41 1h 5m 28s
Ubuntu_dev Ubuntu_dev #770: Scheduled
October 30, 2024 01:40 1h 2m 50s main
main
October 30, 2024 01:40 1h 2m 50s
Ubuntu_dev Ubuntu_dev #769: Scheduled
October 29, 2024 01:41 1h 2m 35s main
main
October 29, 2024 01:41 1h 2m 35s
Ubuntu_dev Ubuntu_dev #768: Scheduled
October 28, 2024 01:43 1h 5m 46s main
main
October 28, 2024 01:43 1h 5m 46s
Ubuntu_dev Ubuntu_dev #767: Scheduled
October 27, 2024 01:45 1h 6m 50s main
main
October 27, 2024 01:45 1h 6m 50s
Ubuntu_dev Ubuntu_dev #766: Scheduled
October 26, 2024 01:36 1h 5m 8s main
main
October 26, 2024 01:36 1h 5m 8s
Ubuntu_dev Ubuntu_dev #765: Scheduled
October 25, 2024 01:40 1h 11m 28s main
main
October 25, 2024 01:40 1h 11m 28s
Ubuntu_dev Ubuntu_dev #764: Scheduled
October 24, 2024 01:38 1h 7m 59s main
main
October 24, 2024 01:38 1h 7m 59s
Ubuntu_dev Ubuntu_dev #763: Scheduled
October 23, 2024 01:38 1h 5m 54s main
main
October 23, 2024 01:38 1h 5m 54s
Ubuntu_dev Ubuntu_dev #762: Scheduled
October 22, 2024 01:40 1h 7m 7s main
main
October 22, 2024 01:40 1h 7m 7s
Ubuntu_dev Ubuntu_dev #761: Scheduled
October 21, 2024 01:41 1h 6m 5s main
main
October 21, 2024 01:41 1h 6m 5s
Ubuntu_dev Ubuntu_dev #760: Scheduled
October 20, 2024 01:46 1h 4m 59s main
main
October 20, 2024 01:46 1h 4m 59s
Ubuntu_dev Ubuntu_dev #759: Scheduled
October 19, 2024 01:37 1h 5m 4s main
main
October 19, 2024 01:37 1h 5m 4s