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 #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
Ubuntu_dev Ubuntu_dev #404: Scheduled
October 30, 2023 01:10 2h 13m 24s main
main
October 30, 2023 01:10 2h 13m 24s
Ubuntu_dev Ubuntu_dev #403: Scheduled
October 29, 2023 01:14 2h 36m 23s main
main
October 29, 2023 01:14 2h 36m 23s
Ubuntu_dev Ubuntu_dev #402: Scheduled
October 28, 2023 01:07 2h 36m 17s main
main
October 28, 2023 01:07 2h 36m 17s
Ubuntu_dev Ubuntu_dev #401: Scheduled
October 27, 2023 01:08 2h 45m 46s main
main
October 27, 2023 01:08 2h 45m 46s
Ubuntu_dev Ubuntu_dev #400: Scheduled
October 26, 2023 01:08 2h 12m 20s main
main
October 26, 2023 01:08 2h 12m 20s
Ubuntu_dev Ubuntu_dev #399: Scheduled
October 25, 2023 01:09 2h 13m 40s main
main
October 25, 2023 01:09 2h 13m 40s
Ubuntu_dev Ubuntu_dev #398: Scheduled
October 24, 2023 01:09 2h 29m 31s main
main
October 24, 2023 01:09 2h 29m 31s
Ubuntu_dev Ubuntu_dev #397: Scheduled
October 23, 2023 01:10 2h 10m 46s main
main
October 23, 2023 01:10 2h 10m 46s
Ubuntu_dev Ubuntu_dev #396: Scheduled
October 22, 2023 01:14 1h 57m 57s main
main
October 22, 2023 01:14 1h 57m 57s
Ubuntu_dev Ubuntu_dev #395: Scheduled
October 21, 2023 01:08 2h 34m 45s main
main
October 21, 2023 01:08 2h 34m 45s
Ubuntu_dev Ubuntu_dev #394: Scheduled
October 20, 2023 01:10 1h 50m 43s main
main
October 20, 2023 01:10 1h 50m 43s
Ubuntu_dev Ubuntu_dev #393: Scheduled
October 19, 2023 01:10 1h 51m 27s main
main
October 19, 2023 01:10 1h 51m 27s
Ubuntu_dev Ubuntu_dev #392: Scheduled
October 18, 2023 01:10 1h 42m 51s main
main
October 18, 2023 01:10 1h 42m 51s
Ubuntu_dev Ubuntu_dev #391: Scheduled
October 17, 2023 01:10 1h 48m 12s main
main
October 17, 2023 01:10 1h 48m 12s
Ubuntu_dev Ubuntu_dev #390: Scheduled
October 16, 2023 01:11 1h 42m 15s main
main
October 16, 2023 01:11 1h 42m 15s
Ubuntu_dev Ubuntu_dev #389: Scheduled
October 15, 2023 01:15 1h 36m 30s main
main
October 15, 2023 01:15 1h 36m 30s
Ubuntu_dev Ubuntu_dev #388: Scheduled
October 14, 2023 01:08 2h 22m 35s main
main
October 14, 2023 01:08 2h 22m 35s
Ubuntu_dev Ubuntu_dev #387: Scheduled
October 13, 2023 01:11 1h 48m 25s main
main
October 13, 2023 01:11 1h 48m 25s
Ubuntu_dev Ubuntu_dev #386: Scheduled
October 12, 2023 01:08 2h 32m 20s main
main
October 12, 2023 01:08 2h 32m 20s
Ubuntu_dev Ubuntu_dev #385: Scheduled
October 11, 2023 01:09 1h 42m 35s main
main
October 11, 2023 01:09 1h 42m 35s
Ubuntu_dev Ubuntu_dev #384: Scheduled
October 10, 2023 01:09 1h 53m 5s main
main
October 10, 2023 01:09 1h 53m 5s
ProTip! You can narrow down the results and go further in time using created:<2023-10-10 or the other filters available.