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 #1471: Scheduled
November 19, 2023 01:01 2h 31m 21s main
main
November 19, 2023 01:01 2h 31m 21s
Ubuntu Ubuntu #1470: Scheduled
November 18, 2023 00:56 2h 29m 41s main
main
November 18, 2023 00:56 2h 29m 41s
Split mathcomp Ubuntu #1469: Pull request #390 synchronize by MSoegtropIMC
November 17, 2023 18:44 2h 32m 36s MSoegtropIMC:split-mathcomp
MSoegtropIMC:split-mathcomp
November 17, 2023 18:44 2h 32m 36s
Ubuntu Ubuntu #1468: Scheduled
November 17, 2023 00:57 2h 30m 46s main
main
November 17, 2023 00:57 2h 30m 46s
Split mathcomp Ubuntu #1467: Pull request #390 synchronize by MSoegtropIMC
November 16, 2023 18:01 2h 33m 51s MSoegtropIMC:split-mathcomp
MSoegtropIMC:split-mathcomp
November 16, 2023 18:01 2h 33m 51s
Ubuntu Ubuntu #1466: Scheduled
November 16, 2023 00:57 2h 31m 48s main
main
November 16, 2023 00:57 2h 31m 48s
Split mathcomp Ubuntu #1465: Pull request #390 opened by MSoegtropIMC
November 15, 2023 14:02 6h 5m 52s MSoegtropIMC:split-mathcomp
MSoegtropIMC:split-mathcomp
November 15, 2023 14:02 6h 5m 52s
Merge pull request #389 from MSoegtropIMC/prepare-2023.10-2 Ubuntu #1464: Commit 7394dfd pushed by MSoegtropIMC
November 15, 2023 09:49 2h 30m 26s main
main
November 15, 2023 09:49 2h 30m 26s
Ubuntu Ubuntu #1463: Scheduled
November 15, 2023 00:56 2h 31m 12s main
main
November 15, 2023 00:56 2h 31m 12s
Prepare 2023.10 2 Ubuntu #1462: Pull request #389 opened by MSoegtropIMC
November 14, 2023 15:44 5h 17m 34s MSoegtropIMC:prepare-2023.10-2
MSoegtropIMC:prepare-2023.10-2
November 14, 2023 15:44 5h 17m 34s
Ubuntu Ubuntu #1461: Scheduled
November 14, 2023 00:55 6h 1m 11s main
main
November 14, 2023 00:55 6h 1m 11s
Ubuntu Ubuntu #1460: Scheduled
November 13, 2023 00:57 4h 51m 26s main
main
November 13, 2023 00:57 4h 51m 26s
Ubuntu Ubuntu #1459: Scheduled
November 12, 2023 00:59 2h 32m 9s main
main
November 12, 2023 00:59 2h 32m 9s
Ubuntu Ubuntu #1458: Scheduled
November 11, 2023 00:54 5h 7m 34s main
main
November 11, 2023 00:54 5h 7m 34s
Ubuntu Ubuntu #1457: Scheduled
November 10, 2023 00:55 5h 43m 45s main
main
November 10, 2023 00:55 5h 43m 45s
Ubuntu Ubuntu #1456: Scheduled
November 9, 2023 00:55 5h 36m 28s main
main
November 9, 2023 00:55 5h 36m 28s
Ubuntu Ubuntu #1455: Scheduled
November 8, 2023 00:55 4h 51m 58s main
main
November 8, 2023 00:55 4h 51m 58s
Ubuntu Ubuntu #1454: Scheduled
November 7, 2023 00:56 6h 1m 8s main
main
November 7, 2023 00:56 6h 1m 8s
Ubuntu Ubuntu #1453: Scheduled
November 6, 2023 00:56 4h 26m 4s main
main
November 6, 2023 00:56 4h 26m 4s
Ubuntu Ubuntu #1452: Scheduled
November 5, 2023 00:58 4h 49m 33s main
main
November 5, 2023 00:58 4h 49m 33s
Ubuntu Ubuntu #1451: Scheduled
November 4, 2023 00:54 4h 59m 32s main
main
November 4, 2023 00:54 4h 59m 32s
Merge pull request #385 from rtetley/upgrade-algebra-tactics Ubuntu #1450: Commit c3c4422 pushed by rtetley
November 3, 2023 10:23 5h 6m 51s main
main
November 3, 2023 10:23 5h 6m 51s
Ubuntu Ubuntu #1449: Scheduled
November 3, 2023 00:55 5h 16m 41s main
main
November 3, 2023 00:55 5h 16m 41s
Remove unecessary packages Ubuntu #1448: Pull request #388 opened by rtetley
November 2, 2023 15:30 7h 49m 11s rtetley:remove-packages
rtetley:remove-packages
November 2, 2023 15:30 7h 49m 11s
Correct fiat crypto and dependencies Ubuntu #1447: Pull request #387 opened by rtetley
November 2, 2023 10:25 10h 24m 47s rtetley:fiat-crypto
rtetley:fiat-crypto
November 2, 2023 10:25 10h 24m 47s
ProTip! You can narrow down the results and go further in time using created:<2023-11-02 or the other filters available.