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 #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
Ubuntu Ubuntu #1385: Scheduled
September 29, 2023 00:54 4h 54m 58s main
main
September 29, 2023 00:54 4h 54m 58s
Merge pull request #367 from coq/fix-coq-makefile-sources-of Ubuntu #1384: Commit 49d35b0 pushed by MSoegtropIMC
September 28, 2023 07:59 4h 3m 0s main
main
September 28, 2023 07:59 4h 3m 0s
Ubuntu Ubuntu #1383: Scheduled
September 28, 2023 00:54 5h 3m 19s main
main
September 28, 2023 00:54 5h 3m 19s
Ubuntu Ubuntu #1382: Scheduled
September 27, 2023 00:54 6h 0m 30s main
main
September 27, 2023 00:54 6h 0m 30s
coq_wrapper: pass COQBIN as the last argument Ubuntu #1381: Pull request #367 opened by gares
September 26, 2023 08:34 6h 0m 30s fix-coq-makefile-sources-of
fix-coq-makefile-sources-of
September 26, 2023 08:34 6h 0m 30s
Ubuntu Ubuntu #1380: Scheduled
September 26, 2023 00:54 5h 7m 21s main
main
September 26, 2023 00:54 5h 7m 21s
ProTip! You can narrow down the results and go further in time using created:<2023-09-26 or the other filters available.