Skip to content

Actions: coq/platform

Actions

Ubuntu_dev

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ubuntu_dev.yml
459 workflow runs
459 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
ProTip! You can narrow down the results and go further in time using created:<2023-10-17 or the other filters available.