Skip to content

Actions: coq/platform

Actions

Ubuntu

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ubuntu.yml
688 workflow runs
688 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Ubuntu Ubuntu #1495: Scheduled
December 10, 2023 01:01 2h 29m 52s main
main
December 10, 2023 01:01 2h 29m 52s
Ubuntu Ubuntu #1494: Scheduled
December 9, 2023 00:56 2h 33m 44s main
main
December 9, 2023 00:56 2h 33m 44s
Split mathcomp Ubuntu #1493: Pull request #390 synchronize by MSoegtropIMC
December 8, 2023 10:36 2h 34m 39s MSoegtropIMC:split-mathcomp
MSoegtropIMC:split-mathcomp
December 8, 2023 10:36 2h 34m 39s
Ubuntu Ubuntu #1492: Scheduled
December 8, 2023 00:58 2h 31m 13s main
main
December 8, 2023 00:58 2h 31m 13s
Split mathcomp Ubuntu #1491: Pull request #390 synchronize by MSoegtropIMC
December 7, 2023 11:01 3h 8m 54s MSoegtropIMC:split-mathcomp
MSoegtropIMC:split-mathcomp
December 7, 2023 11:01 3h 8m 54s
Ubuntu Ubuntu #1490: Scheduled
December 7, 2023 00:57 2h 30m 56s main
main
December 7, 2023 00:57 2h 30m 56s
Ubuntu Ubuntu #1489: Scheduled
December 6, 2023 00:58 2h 30m 7s main
main
December 6, 2023 00:58 2h 30m 7s
Ubuntu Ubuntu #1488: Scheduled
December 5, 2023 00:58 2h 38m 12s main
main
December 5, 2023 00:58 2h 38m 12s
Ubuntu Ubuntu #1487: Scheduled
December 4, 2023 00:58 2h 31m 24s main
main
December 4, 2023 00:58 2h 31m 24s
Ubuntu Ubuntu #1486: Scheduled
December 3, 2023 01:00 2h 30m 18s main
main
December 3, 2023 01:00 2h 30m 18s
Ubuntu Ubuntu #1485: Scheduled
December 2, 2023 00:55 2h 29m 7s main
main
December 2, 2023 00:55 2h 29m 7s
Ubuntu Ubuntu #1484: Scheduled
December 1, 2023 01:02 2h 33m 17s main
main
December 1, 2023 01:02 2h 33m 17s
Ubuntu Ubuntu #1483: Scheduled
November 30, 2023 00:57 2h 31m 32s main
main
November 30, 2023 00:57 2h 31m 32s
Ubuntu Ubuntu #1482: Scheduled
November 29, 2023 00:58 2h 31m 22s main
main
November 29, 2023 00:58 2h 31m 22s
Ubuntu Ubuntu #1481: Scheduled
November 28, 2023 00:58 2h 31m 20s main
main
November 28, 2023 00:58 2h 31m 20s
Ubuntu Ubuntu #1480: Scheduled
November 27, 2023 00:57 2h 31m 8s main
main
November 27, 2023 00:57 2h 31m 8s
Ubuntu Ubuntu #1479: Scheduled
November 26, 2023 01:00 2h 33m 54s main
main
November 26, 2023 01:00 2h 33m 54s
Ubuntu Ubuntu #1478: Scheduled
November 25, 2023 00:55 2h 29m 57s main
main
November 25, 2023 00:55 2h 29m 57s
Split mathcomp Ubuntu #1477: Pull request #390 synchronize by MSoegtropIMC
November 24, 2023 17:55 2h 48m 1s MSoegtropIMC:split-mathcomp
MSoegtropIMC:split-mathcomp
November 24, 2023 17:55 2h 48m 1s
Ubuntu Ubuntu #1476: Scheduled
November 24, 2023 00:55 2h 30m 59s main
main
November 24, 2023 00:55 2h 30m 59s
Ubuntu Ubuntu #1475: Scheduled
November 23, 2023 00:57 2h 33m 45s main
main
November 23, 2023 00:57 2h 33m 45s
Ubuntu Ubuntu #1474: Scheduled
November 22, 2023 00:59 2h 34m 14s main
main
November 22, 2023 00:59 2h 34m 14s
Ubuntu Ubuntu #1473: Scheduled
November 21, 2023 00:58 2h 32m 54s main
main
November 21, 2023 00:58 2h 32m 54s
Ubuntu Ubuntu #1472: Scheduled
November 20, 2023 00:58 2h 31m 32s main
main
November 20, 2023 00:58 2h 31m 32s
Ubuntu Ubuntu #1471: Scheduled
November 19, 2023 01:01 2h 31m 21s main
main
November 19, 2023 01:01 2h 31m 21s
ProTip! You can narrow down the results and go further in time using created:<2023-11-19 or the other filters available.