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 #854: Scheduled
January 22, 2025 01:38 4m 37s main
main
January 22, 2025 01:38 4m 37s
Ubuntu_dev Ubuntu_dev #853: Scheduled
January 21, 2025 01:36 4m 41s main
main
January 21, 2025 01:36 4m 41s
Ubuntu_dev Ubuntu_dev #852: Scheduled
January 20, 2025 01:38 4m 47s main
main
January 20, 2025 01:38 4m 47s
Ubuntu_dev Ubuntu_dev #851: Scheduled
January 19, 2025 01:42 5m 24s main
main
January 19, 2025 01:42 5m 24s
Ubuntu_dev Ubuntu_dev #850: Scheduled
January 18, 2025 01:33 4m 31s main
main
January 18, 2025 01:33 4m 31s
Ubuntu_dev Ubuntu_dev #849: Scheduled
January 17, 2025 01:36 4m 55s main
main
January 17, 2025 01:36 4m 55s
Ubuntu_dev Ubuntu_dev #848: Scheduled
January 16, 2025 01:36 5m 52s main
main
January 16, 2025 01:36 5m 52s
Ubuntu_dev Ubuntu_dev #847: Scheduled
January 15, 2025 01:37 4m 55s main
main
January 15, 2025 01:37 4m 55s
Ubuntu_dev Ubuntu_dev #846: Scheduled
January 14, 2025 01:35 4m 48s main
main
January 14, 2025 01:35 4m 48s
Ubuntu_dev Ubuntu_dev #845: Scheduled
January 13, 2025 01:44 4m 58s main
main
January 13, 2025 01:44 4m 58s
Ubuntu_dev Ubuntu_dev #844: Scheduled
January 12, 2025 01:47 6m 8s main
main
January 12, 2025 01:47 6m 8s
Ubuntu_dev Ubuntu_dev #843: Scheduled
January 11, 2025 01:39 4m 58s main
main
January 11, 2025 01:39 4m 58s
Ubuntu_dev Ubuntu_dev #842: Scheduled
January 10, 2025 01:41 6m 10s main
main
January 10, 2025 01:41 6m 10s
Ubuntu_dev Ubuntu_dev #841: Scheduled
January 9, 2025 02:06 5m 21s main
main
January 9, 2025 02:06 5m 21s
Ubuntu_dev Ubuntu_dev #840: Scheduled
January 8, 2025 01:40 4m 52s main
main
January 8, 2025 01:40 4m 52s
Ubuntu_dev Ubuntu_dev #839: Scheduled
January 7, 2025 01:40 4m 56s main
main
January 7, 2025 01:40 4m 56s
Ubuntu_dev Ubuntu_dev #838: Scheduled
January 6, 2025 01:43 4m 46s main
main
January 6, 2025 01:43 4m 46s
Ubuntu_dev Ubuntu_dev #837: Scheduled
January 5, 2025 01:45 6m 3s main
main
January 5, 2025 01:45 6m 3s
Ubuntu_dev Ubuntu_dev #836: Scheduled
January 4, 2025 01:37 4m 49s main
main
January 4, 2025 01:37 4m 49s
Ubuntu_dev Ubuntu_dev #835: Scheduled
January 3, 2025 01:39 5m 5s main
main
January 3, 2025 01:39 5m 5s
Ubuntu_dev Ubuntu_dev #834: Scheduled
January 2, 2025 01:38 4m 59s main
main
January 2, 2025 01:38 4m 59s
Ubuntu_dev Ubuntu_dev #833: Scheduled
January 1, 2025 01:46 4m 55s main
main
January 1, 2025 01:46 4m 55s
Ubuntu_dev Ubuntu_dev #832: Scheduled
December 31, 2024 01:38 5m 5s main
main
December 31, 2024 01:38 5m 5s
Ubuntu_dev Ubuntu_dev #831: Scheduled
December 30, 2024 01:42 5m 11s main
main
December 30, 2024 01:42 5m 11s
Ubuntu_dev Ubuntu_dev #830: Scheduled
December 29, 2024 01:46 6m 18s main
main
December 29, 2024 01:46 6m 18s