Skip to content

Actions: coq/platform

Actions

Ubuntu_dev

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ubuntu_dev.yml
456 workflow runs
456 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Ubuntu_dev Ubuntu_dev #429: Scheduled
November 24, 2023 01:11 1h 0m 36s main
main
November 24, 2023 01:11 1h 0m 36s
Ubuntu_dev Ubuntu_dev #428: Scheduled
November 23, 2023 01:13 1h 1m 9s main
main
November 23, 2023 01:13 1h 1m 9s
Ubuntu_dev Ubuntu_dev #427: Scheduled
November 22, 2023 01:16 1h 0m 10s main
main
November 22, 2023 01:16 1h 0m 10s
Ubuntu_dev Ubuntu_dev #426: Scheduled
November 21, 2023 01:16 1h 0m 36s main
main
November 21, 2023 01:16 1h 0m 36s
Ubuntu_dev Ubuntu_dev #425: Scheduled
November 20, 2023 01:14 1h 1m 52s main
main
November 20, 2023 01:14 1h 1m 52s
Ubuntu_dev Ubuntu_dev #424: Scheduled
November 19, 2023 01:18 1h 0m 51s main
main
November 19, 2023 01:18 1h 0m 51s
Ubuntu_dev Ubuntu_dev #423: Scheduled
November 18, 2023 01:13 1h 0m 58s main
main
November 18, 2023 01:13 1h 0m 58s
Ubuntu_dev Ubuntu_dev #422: Scheduled
November 17, 2023 01:13 1h 0m 11s main
main
November 17, 2023 01:13 1h 0m 11s
Ubuntu_dev Ubuntu_dev #421: Scheduled
November 16, 2023 01:14 1h 1m 6s main
main
November 16, 2023 01:14 1h 1m 6s
Ubuntu_dev Ubuntu_dev #420: Scheduled
November 15, 2023 01:13 1h 2m 11s main
main
November 15, 2023 01:13 1h 2m 11s
Ubuntu_dev Ubuntu_dev #419: Scheduled
November 14, 2023 01:11 1h 1m 14s main
main
November 14, 2023 01:11 1h 1m 14s
Ubuntu_dev Ubuntu_dev #418: Scheduled
November 13, 2023 01:13 1h 0m 34s main
main
November 13, 2023 01:13 1h 0m 34s
Ubuntu_dev Ubuntu_dev #417: Scheduled
November 12, 2023 01:16 2h 2m 27s main
main
November 12, 2023 01:16 2h 2m 27s
Ubuntu_dev Ubuntu_dev #416: Scheduled
November 11, 2023 02:12 1h 13m 21s main
main
November 11, 2023 02:12 1h 13m 21s
Ubuntu_dev Ubuntu_dev #415: Scheduled
November 10, 2023 01:11 1h 0m 49s main
main
November 10, 2023 01:11 1h 0m 49s
Ubuntu_dev Ubuntu_dev #414: Scheduled
November 9, 2023 01:12 2h 39m 20s main
main
November 9, 2023 01:12 2h 39m 20s
Ubuntu_dev Ubuntu_dev #413: Scheduled
November 8, 2023 01:11 2h 12m 45s main
main
November 8, 2023 01:11 2h 12m 45s
Ubuntu_dev Ubuntu_dev #412: Scheduled
November 7, 2023 01:12 1h 58m 33s main
main
November 7, 2023 01:12 1h 58m 33s
Ubuntu_dev Ubuntu_dev #411: Scheduled
November 6, 2023 01:13 2h 12m 59s main
main
November 6, 2023 01:13 2h 12m 59s
Ubuntu_dev Ubuntu_dev #410: Scheduled
November 5, 2023 01:15 1h 0m 53s main
main
November 5, 2023 01:15 1h 0m 53s
Ubuntu_dev Ubuntu_dev #409: Scheduled
November 4, 2023 01:09 1h 50m 21s main
main
November 4, 2023 01:09 1h 50m 21s
Ubuntu_dev Ubuntu_dev #408: Scheduled
November 3, 2023 01:10 2h 40m 48s main
main
November 3, 2023 01:10 2h 40m 48s
Ubuntu_dev Ubuntu_dev #407: Scheduled
November 2, 2023 01:10 1h 0m 5s main
main
November 2, 2023 01:10 1h 0m 5s
Ubuntu_dev Ubuntu_dev #406: Scheduled
November 1, 2023 01:14 1h 48m 18s main
main
November 1, 2023 01:14 1h 48m 18s
Ubuntu_dev Ubuntu_dev #405: Scheduled
October 31, 2023 01:10 1h 48m 53s main
main
October 31, 2023 01:10 1h 48m 53s
ProTip! You can narrow down the results and go further in time using created:<2023-10-31 or the other filters available.