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 #808: Scheduled
December 7, 2024 01:46 24m 42s main
main
December 7, 2024 01:46 24m 42s
Ubuntu_dev Ubuntu_dev #807: Scheduled
December 6, 2024 01:47 1h 4m 53s main
main
December 6, 2024 01:47 1h 4m 53s
Ubuntu_dev Ubuntu_dev #806: Scheduled
December 5, 2024 01:48 1h 5m 58s main
main
December 5, 2024 01:48 1h 5m 58s
Ubuntu_dev Ubuntu_dev #805: Scheduled
December 4, 2024 01:48 1h 6m 19s main
main
December 4, 2024 01:48 1h 6m 19s
Ubuntu_dev Ubuntu_dev #804: Scheduled
December 3, 2024 01:48 1h 5m 5s main
main
December 3, 2024 01:48 1h 5m 5s
Ubuntu_dev Ubuntu_dev #803: Scheduled
December 2, 2024 01:50 1h 6m 40s main
main
December 2, 2024 01:50 1h 6m 40s
Ubuntu_dev Ubuntu_dev #802: Scheduled
December 1, 2024 02:01 51m 56s main
main
December 1, 2024 02:01 51m 56s
Ubuntu_dev Ubuntu_dev #801: Scheduled
November 30, 2024 01:43 52m 24s main
main
November 30, 2024 01:43 52m 24s
Ubuntu_dev Ubuntu_dev #800: Scheduled
November 29, 2024 01:46 54m 27s main
main
November 29, 2024 01:46 54m 27s
Ubuntu_dev Ubuntu_dev #799: Scheduled
November 28, 2024 01:46 1h 5m 55s main
main
November 28, 2024 01:46 1h 5m 55s
Ubuntu_dev Ubuntu_dev #798: Scheduled
November 27, 2024 01:46 1h 7m 20s main
main
November 27, 2024 01:46 1h 7m 20s
Ubuntu_dev Ubuntu_dev #797: Scheduled
November 26, 2024 01:45 1h 6m 57s main
main
November 26, 2024 01:45 1h 6m 57s
Ubuntu_dev Ubuntu_dev #796: Scheduled
November 25, 2024 01:46 1h 5m 52s main
main
November 25, 2024 01:46 1h 5m 52s
Ubuntu_dev Ubuntu_dev #795: Scheduled
November 24, 2024 01:49 1h 5m 22s main
main
November 24, 2024 01:49 1h 5m 22s
Ubuntu_dev Ubuntu_dev #794: Scheduled
November 23, 2024 01:40 1h 7m 46s main
main
November 23, 2024 01:40 1h 7m 46s
Ubuntu_dev Ubuntu_dev #793: Scheduled
November 22, 2024 01:44 1h 5m 1s main
main
November 22, 2024 01:44 1h 5m 1s
Ubuntu_dev Ubuntu_dev #792: Scheduled
November 21, 2024 01:43 1h 5m 39s main
main
November 21, 2024 01:43 1h 5m 39s
Ubuntu_dev Ubuntu_dev #791: Scheduled
November 20, 2024 01:43 1h 3m 13s main
main
November 20, 2024 01:43 1h 3m 13s
Ubuntu_dev Ubuntu_dev #790: Scheduled
November 19, 2024 01:44 1h 3m 12s main
main
November 19, 2024 01:44 1h 3m 12s
Ubuntu_dev Ubuntu_dev #789: Scheduled
November 18, 2024 01:46 1h 6m 18s main
main
November 18, 2024 01:46 1h 6m 18s
Ubuntu_dev Ubuntu_dev #788: Scheduled
November 17, 2024 01:48 1h 6m 2s main
main
November 17, 2024 01:48 1h 6m 2s
Ubuntu_dev Ubuntu_dev #787: Scheduled
November 16, 2024 01:42 1h 6m 10s main
main
November 16, 2024 01:42 1h 6m 10s
Ubuntu_dev Ubuntu_dev #786: Scheduled
November 15, 2024 01:44 10m 29s main
main
November 15, 2024 01:44 10m 29s
Ubuntu_dev Ubuntu_dev #785: Scheduled
November 14, 2024 01:38 9m 33s main
main
November 14, 2024 01:38 9m 33s
Ubuntu_dev Ubuntu_dev #784: Scheduled
November 13, 2024 01:38 24m 35s main
main
November 13, 2024 01:38 24m 35s