Skip to content

Actions: coq/platform

Actions

Ubuntu

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ubuntu.yml
667 workflow runs
667 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Ubuntu Ubuntu #2095: Scheduled
January 22, 2025 01:12 2h 47m 52s main
main
January 22, 2025 01:12 2h 47m 52s
Ubuntu Ubuntu #2094: Scheduled
January 21, 2025 01:10 2h 48m 26s main
main
January 21, 2025 01:10 2h 48m 26s
Ubuntu Ubuntu #2093: Scheduled
January 20, 2025 01:12 2h 56m 33s main
main
January 20, 2025 01:12 2h 56m 33s
Ubuntu Ubuntu #2092: Scheduled
January 19, 2025 01:16 2h 46m 0s main
main
January 19, 2025 01:16 2h 46m 0s
Ubuntu Ubuntu #2091: Scheduled
January 18, 2025 01:08 2h 53m 48s main
main
January 18, 2025 01:08 2h 53m 48s
Ubuntu Ubuntu #2090: Scheduled
January 17, 2025 01:10 2h 47m 1s main
main
January 17, 2025 01:10 2h 47m 1s
Merge pull request #459 from MSoegtropIMC/cygwin-test-release-2 Ubuntu #2089: Commit 93afd1d pushed by MSoegtropIMC
January 16, 2025 13:48 2h 51m 9s main
main
January 16, 2025 13:48 2h 51m 9s
More rocqide renaming Ubuntu #2088: Pull request #460 opened by SkySkimmer
January 16, 2025 13:06 4m 44s rocqide
rocqide
January 16, 2025 13:06 4m 44s
Temporarily allow test version of cygwin (should fix hangs) Ubuntu #2087: Pull request #459 opened by MSoegtropIMC
January 16, 2025 11:08 2h 49m 56s MSoegtropIMC:cygwin-test-release-2
MSoegtropIMC:cygwin-test-release-2
January 16, 2025 11:08 2h 49m 56s
Temporarily allow test version of cygwin (should fix hangs) Ubuntu #2086: Pull request #458 opened by MSoegtropIMC
January 16, 2025 11:05 4m 39s MSoegtropIMC:cygwin-test-release
MSoegtropIMC:cygwin-test-release
January 16, 2025 11:05 4m 39s
Ubuntu Ubuntu #2085: Scheduled
January 16, 2025 01:10 2h 49m 40s main
main
January 16, 2025 01:10 2h 49m 40s
Renaming coqide -> rocqide Ubuntu #2084: Pull request #457 opened by proux01
January 15, 2025 15:33 6m 1s proux01:coqide_ico
proux01:coqide_ico
January 15, 2025 15:33 6m 1s
Adapt to /~https://github.com/coq/coq/pull/20036 Ubuntu #2083: Pull request #456 synchronize by proux01
January 15, 2025 07:37 4m 38s proux01:coq_20036
proux01:coq_20036
January 15, 2025 07:37 4m 38s
Ubuntu Ubuntu #2082: Scheduled
January 15, 2025 01:11 2h 51m 34s main
main
January 15, 2025 01:11 2h 51m 34s
Adapt to /~https://github.com/coq/coq/pull/20036 Ubuntu #2081: Pull request #456 opened by proux01
January 14, 2025 13:55 2h 53m 9s proux01:coq_20036
proux01:coq_20036
January 14, 2025 13:55 2h 53m 9s
Ubuntu Ubuntu #2080: Scheduled
January 14, 2025 01:09 2h 49m 1s main
main
January 14, 2025 01:09 2h 49m 1s
Ubuntu Ubuntu #2079: Scheduled
January 13, 2025 01:16 2h 48m 56s main
main
January 13, 2025 01:16 2h 48m 56s
Ubuntu Ubuntu #2078: Scheduled
January 12, 2025 01:19 2h 50m 28s main
main
January 12, 2025 01:19 2h 50m 28s
Ubuntu Ubuntu #2077: Scheduled
January 11, 2025 01:13 2h 48m 28s main
main
January 11, 2025 01:13 2h 48m 28s
Ubuntu Ubuntu #2076: Scheduled
January 10, 2025 01:14 2h 47m 39s main
main
January 10, 2025 01:14 2h 47m 39s
Ubuntu Ubuntu #2075: Scheduled
January 9, 2025 01:12 2h 51m 13s main
main
January 9, 2025 01:12 2h 51m 13s
Ubuntu Ubuntu #2074: Scheduled
January 8, 2025 01:13 2h 51m 34s main
main
January 8, 2025 01:13 2h 51m 34s
Ubuntu Ubuntu #2073: Scheduled
January 7, 2025 01:13 2h 49m 22s main
main
January 7, 2025 01:13 2h 49m 22s
Ubuntu Ubuntu #2072: Scheduled
January 6, 2025 01:16 2h 46m 38s main
main
January 6, 2025 01:16 2h 46m 38s
Ubuntu Ubuntu #2071: Scheduled
January 5, 2025 01:18 2h 48m 24s main
main
January 5, 2025 01:18 2h 48m 24s