Skip to content

Actions: coq/platform

Actions

Ubuntu_dev

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ubuntu_dev.yml
467 workflow runs
467 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Ubuntu_dev Ubuntu_dev #830: Scheduled
December 29, 2024 01:46 6m 18s main
main
December 29, 2024 01:46 6m 18s
Ubuntu_dev Ubuntu_dev #829: Scheduled
December 28, 2024 01:37 5m 2s main
main
December 28, 2024 01:37 5m 2s
Ubuntu_dev Ubuntu_dev #828: Scheduled
December 27, 2024 01:39 6m 1s main
main
December 27, 2024 01:39 6m 1s
Ubuntu_dev Ubuntu_dev #827: Scheduled
December 26, 2024 01:38 5m 3s main
main
December 26, 2024 01:38 5m 3s
Ubuntu_dev Ubuntu_dev #826: Scheduled
December 25, 2024 01:38 6m 11s main
main
December 25, 2024 01:38 6m 11s
Ubuntu_dev Ubuntu_dev #825: Scheduled
December 24, 2024 01:39 5m 1s main
main
December 24, 2024 01:39 5m 1s
Ubuntu_dev Ubuntu_dev #824: Scheduled
December 23, 2024 01:41 4m 55s main
main
December 23, 2024 01:41 4m 55s
Ubuntu_dev Ubuntu_dev #823: Scheduled
December 22, 2024 01:45 4m 49s main
main
December 22, 2024 01:45 4m 49s
Ubuntu_dev Ubuntu_dev #822: Scheduled
December 21, 2024 01:37 9m 12s main
main
December 21, 2024 01:37 9m 12s
Ubuntu_dev Ubuntu_dev #821: Scheduled
December 20, 2024 01:40 1h 6m 33s main
main
December 20, 2024 01:40 1h 6m 33s
Ubuntu_dev Ubuntu_dev #820: Scheduled
December 19, 2024 01:45 22m 26s main
main
December 19, 2024 01:45 22m 26s
Ubuntu_dev Ubuntu_dev #819: Scheduled
December 18, 2024 01:44 1h 4m 38s main
main
December 18, 2024 01:44 1h 4m 38s
Ubuntu_dev Ubuntu_dev #818: Scheduled
December 17, 2024 01:47 1h 5m 18s main
main
December 17, 2024 01:47 1h 5m 18s
Ubuntu_dev Ubuntu_dev #817: Scheduled
December 16, 2024 01:51 1h 4m 45s main
main
December 16, 2024 01:51 1h 4m 45s
Ubuntu_dev Ubuntu_dev #816: Scheduled
December 15, 2024 01:54 52m 33s main
main
December 15, 2024 01:54 52m 33s
Ubuntu_dev Ubuntu_dev #815: Scheduled
December 14, 2024 01:44 52m 6s main
main
December 14, 2024 01:44 52m 6s
Ubuntu_dev Ubuntu_dev #814: Scheduled
December 13, 2024 01:49 26m 46s main
main
December 13, 2024 01:49 26m 46s
Ubuntu_dev Ubuntu_dev #813: Scheduled
December 12, 2024 01:47 27m 0s main
main
December 12, 2024 01:47 27m 0s
Ubuntu_dev Ubuntu_dev #812: Scheduled
December 11, 2024 01:48 26m 0s main
main
December 11, 2024 01:48 26m 0s
Ubuntu_dev Ubuntu_dev #811: Scheduled
December 10, 2024 01:49 26m 31s main
main
December 10, 2024 01:49 26m 31s
Ubuntu_dev Ubuntu_dev #810: Scheduled
December 9, 2024 01:51 29m 17s main
main
December 9, 2024 01:51 29m 17s
Ubuntu_dev Ubuntu_dev #809: Scheduled
December 8, 2024 01:54 30m 24s main
main
December 8, 2024 01:54 30m 24s
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