Skip to content

Actions: coq/platform

Actions

Ubuntu

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ubuntu.yml
15 workflow run results
15 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Ubuntu Ubuntu #1400: Scheduled
October 9, 2023 00:54 4h 58m 38s main
main
October 9, 2023 00:54 4h 58m 38s
Ubuntu Ubuntu #1399: Scheduled
October 8, 2023 00:58 6h 7m 52s main
main
October 8, 2023 00:58 6h 7m 52s
Ubuntu Ubuntu #1398: Scheduled
October 7, 2023 00:53 6h 2m 38s main
main
October 7, 2023 00:53 6h 2m 38s
Ubuntu Ubuntu #1397: Scheduled
October 6, 2023 00:54 4h 56m 37s main
main
October 6, 2023 00:54 4h 56m 37s
Pick 8.18+beta1: please pick issue creation intermediate state Ubuntu #1396: Commit 185c5ae pushed by MSoegtropIMC
October 5, 2023 08:58 9h 53m 34s main
main
October 5, 2023 08:58 9h 53m 34s
Merge pull request #371 from coq/prepare-2023.09-1 Ubuntu #1395: Commit bd57d2e pushed by MSoegtropIMC
October 5, 2023 08:33 7h 23m 53s main
main
October 5, 2023 08:33 7h 23m 53s
Prepare 2023.09 1 Ubuntu #1394: Pull request #371 opened by MSoegtropIMC
October 5, 2023 08:33 7h 14m 23s prepare-2023.09-1
prepare-2023.09-1
October 5, 2023 08:33 7h 14m 23s
Ubuntu Ubuntu #1393: Scheduled
October 5, 2023 00:54 4h 36m 12s main
main
October 5, 2023 00:54 4h 36m 12s
Ubuntu Ubuntu #1392: Scheduled
October 4, 2023 00:55 4h 58m 52s main
main
October 4, 2023 00:55 4h 58m 52s
Ubuntu Ubuntu #1391: Scheduled
October 3, 2023 00:55 5h 0m 28s main
main
October 3, 2023 00:55 5h 0m 28s
[installer] [windows] Don't remove sexplib0 library. Ubuntu #1390: Pull request #370 synchronize by ejgallego
October 2, 2023 18:01 5h 3m 57s ejgallego:recover_sexplib0
ejgallego:recover_sexplib0
October 2, 2023 18:01 5h 3m 57s
[installer] [windows] Don't remove sexplib0 library. Ubuntu #1389: Pull request #370 opened by ejgallego
October 2, 2023 17:08 2m 44s ejgallego:recover_sexplib0
ejgallego:recover_sexplib0
October 2, 2023 17:08 2m 44s
Ubuntu Ubuntu #1388: Scheduled
October 2, 2023 00:54 5h 4m 31s main
main
October 2, 2023 00:54 5h 4m 31s
Ubuntu Ubuntu #1387: Scheduled
October 1, 2023 01:01 5h 12m 46s main
main
October 1, 2023 01:01 5h 12m 46s
Ubuntu Ubuntu #1386: Scheduled
September 30, 2023 00:52 6h 0m 11s main
main
September 30, 2023 00:52 6h 0m 11s