Skip to content

Actions: coq/platform

Actions

Ubuntu

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ubuntu.yml
691 workflow runs
691 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Ubuntu Ubuntu #2064: Scheduled
December 29, 2024 01:19 2h 46m 40s main
main
December 29, 2024 01:19 2h 46m 40s
Ubuntu Ubuntu #2063: Scheduled
December 28, 2024 01:11 2h 54m 16s main
main
December 28, 2024 01:11 2h 54m 16s
Ubuntu Ubuntu #2062: Scheduled
December 27, 2024 01:12 2h 46m 39s main
main
December 27, 2024 01:12 2h 46m 39s
Ubuntu Ubuntu #2061: Scheduled
December 26, 2024 01:12 2h 48m 20s main
main
December 26, 2024 01:12 2h 48m 20s
Ubuntu Ubuntu #2060: Scheduled
December 25, 2024 01:11 2h 47m 49s main
main
December 25, 2024 01:11 2h 47m 49s
Ubuntu Ubuntu #2059: Scheduled
December 24, 2024 01:12 2h 48m 42s main
main
December 24, 2024 01:12 2h 48m 42s
Ubuntu Ubuntu #2058: Scheduled
December 23, 2024 01:14 2h 48m 2s main
main
December 23, 2024 01:14 2h 48m 2s
Ubuntu Ubuntu #2057: Scheduled
December 22, 2024 01:18 2h 46m 21s main
main
December 22, 2024 01:18 2h 46m 21s
Ubuntu Ubuntu #2056: Scheduled
December 21, 2024 01:11 2h 50m 30s main
main
December 21, 2024 01:11 2h 50m 30s
Merge pull request #454 from MSoegtropIMC/2025.01-prep-6 Ubuntu #2055: Commit 972dbc8 pushed by MSoegtropIMC
December 20, 2024 16:42 2h 52m 11s main
main
December 20, 2024 16:42 2h 52m 11s
2025.01 prep 6 Ubuntu #2054: Pull request #454 synchronize by MSoegtropIMC
December 20, 2024 13:44 2h 46m 55s MSoegtropIMC:2025.01-prep-6
MSoegtropIMC:2025.01-prep-6
December 20, 2024 13:44 2h 46m 55s
2025.01 prep 6 Ubuntu #2053: Pull request #454 synchronize by MSoegtropIMC
December 20, 2024 09:37 2h 49m 25s MSoegtropIMC:2025.01-prep-6
MSoegtropIMC:2025.01-prep-6
December 20, 2024 09:37 2h 49m 25s
2025.01 prep 6 Ubuntu #2052: Pull request #454 opened by MSoegtropIMC
December 20, 2024 09:19 17m 17s MSoegtropIMC:2025.01-prep-6
MSoegtropIMC:2025.01-prep-6
December 20, 2024 09:19 17m 17s
Ubuntu Ubuntu #2051: Scheduled
December 20, 2024 01:13 2h 49m 53s main
main
December 20, 2024 01:13 2h 49m 53s
Ubuntu Ubuntu #2050: Scheduled
December 19, 2024 01:16 2h 50m 18s main
main
December 19, 2024 01:16 2h 50m 18s
Ubuntu Ubuntu #2049: Scheduled
December 18, 2024 01:15 2h 51m 2s main
main
December 18, 2024 01:15 2h 51m 2s
Merge pull request #453 from MSoegtropIMC/2025.01-prep-5 Ubuntu #2048: Commit cfaa14b pushed by MSoegtropIMC
December 17, 2024 07:17 2h 50m 3s main
main
December 17, 2024 07:17 2h 50m 3s
Ubuntu Ubuntu #2047: Scheduled
December 17, 2024 01:19 2h 45m 59s main
main
December 17, 2024 01:19 2h 45m 59s
2025.01 prep 5 Ubuntu #2046: Pull request #453 opened by MSoegtropIMC
December 16, 2024 18:20 2h 49m 41s MSoegtropIMC:2025.01-prep-5
MSoegtropIMC:2025.01-prep-5
December 16, 2024 18:20 2h 49m 41s
Ubuntu Ubuntu #2045: Scheduled
December 16, 2024 01:21 2h 50m 8s main
main
December 16, 2024 01:21 2h 50m 8s
Ubuntu Ubuntu #2044: Scheduled
December 15, 2024 01:24 2h 50m 27s main
main
December 15, 2024 01:24 2h 50m 27s
Ubuntu Ubuntu #2043: Scheduled
December 14, 2024 01:16 2h 49m 29s main
main
December 14, 2024 01:16 2h 49m 29s
Ubuntu Ubuntu #2042: Scheduled
December 13, 2024 01:20 2h 51m 14s main
main
December 13, 2024 01:20 2h 51m 14s
Ubuntu Ubuntu #2041: Scheduled
December 12, 2024 01:18 2h 45m 59s main
main
December 12, 2024 01:18 2h 45m 59s
Ubuntu Ubuntu #2040: Scheduled
December 11, 2024 01:19 2h 48m 10s main
main
December 11, 2024 01:19 2h 48m 10s