Skip to content

Actions: coq/platform

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
79 workflow run results
79 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Windows Windows #1404: Scheduled
October 4, 2023 01:18 4h 1m 42s main
main
October 4, 2023 01:18 4h 1m 42s
Ubuntu_dev Ubuntu_dev #378: Scheduled
October 4, 2023 01:11 2h 14m 31s main
main
October 4, 2023 01:11 2h 14m 31s
Ubuntu Ubuntu #1392: Scheduled
October 4, 2023 00:55 4h 58m 52s main
main
October 4, 2023 00:55 4h 58m 52s
Macos Macos #1370: Scheduled
October 4, 2023 00:37 2h 28m 47s main
main
October 4, 2023 00:37 2h 28m 47s
Windows Windows #1403: Scheduled
October 3, 2023 01:16 5h 31m 21s main
main
October 3, 2023 01:16 5h 31m 21s
Ubuntu_dev Ubuntu_dev #377: Scheduled
October 3, 2023 01:10 2h 10m 23s main
main
October 3, 2023 01:10 2h 10m 23s
Ubuntu Ubuntu #1391: Scheduled
October 3, 2023 00:55 5h 0m 28s main
main
October 3, 2023 00:55 5h 0m 28s
Macos Macos #1369: Scheduled
October 3, 2023 00:37 2h 39m 6s main
main
October 3, 2023 00:37 2h 39m 6s
[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. Windows #1402: Pull request #370 synchronize by ejgallego
October 2, 2023 18:01 4h 20m 22s ejgallego:recover_sexplib0
ejgallego:recover_sexplib0
October 2, 2023 18:01 4h 20m 22s
[installer] [windows] Don't remove sexplib0 library. Macos #1368: Pull request #370 synchronize by ejgallego
October 2, 2023 18:01 2h 41m 21s ejgallego:recover_sexplib0
ejgallego:recover_sexplib0
October 2, 2023 18:01 2h 41m 21s
[installer] [windows] Don't remove sexplib0 library. Windows #1401: Pull request #370 opened by ejgallego
October 2, 2023 17:08 4h 44m 31s ejgallego:recover_sexplib0
ejgallego:recover_sexplib0
October 2, 2023 17:08 4h 44m 31s
[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
[installer] [windows] Don't remove sexplib0 library. Macos #1367: Pull request #370 opened by ejgallego
October 2, 2023 17:08 9m 56s ejgallego:recover_sexplib0
ejgallego:recover_sexplib0
October 2, 2023 17:08 9m 56s
[2023.08] [coq-lsp 0.2.0] [v8.17] Draft Windows build Windows #1400: Pull request #368 synchronize by ejgallego
October 2, 2023 16:59 3h 39m 52s ejgallego:coq_lsp_8_17
ejgallego:coq_lsp_8_17
October 2, 2023 16:59 3h 39m 52s
[2023.08] [coq-lsp 0.2.0] [v8.18] Draft Windows build Windows #1399: Pull request #369 synchronize by ejgallego
October 2, 2023 01:48 2h 0m 47s ejgallego:coq_lsp_8_18
ejgallego:coq_lsp_8_18
October 2, 2023 01:48 2h 0m 47s
Windows Windows #1398: Scheduled
October 2, 2023 01:16 5h 17m 6s main
main
October 2, 2023 01:16 5h 17m 6s
Ubuntu_dev Ubuntu_dev #376: Scheduled
October 2, 2023 01:10 2h 31m 59s main
main
October 2, 2023 01:10 2h 31m 59s
Ubuntu Ubuntu #1388: Scheduled
October 2, 2023 00:54 5h 4m 31s main
main
October 2, 2023 00:54 5h 4m 31s
Macos Macos #1366: Scheduled
October 2, 2023 00:37 2h 36m 7s main
main
October 2, 2023 00:37 2h 36m 7s
[2023.08] [coq-lsp 0.2.0] [v8.18] Draft Windows build Windows #1397: Pull request #369 synchronize by ejgallego
October 1, 2023 23:57 1h 46m 35s ejgallego:coq_lsp_8_18
ejgallego:coq_lsp_8_18
October 1, 2023 23:57 1h 46m 35s
[2023.08] [coq-lsp 0.2.0] [v8.18] Draft Windows build Windows #1396: Pull request #369 synchronize by ejgallego
October 1, 2023 22:05 1h 44m 53s ejgallego:coq_lsp_8_18
ejgallego:coq_lsp_8_18
October 1, 2023 22:05 1h 44m 53s
[2023.08] [coq-lsp 0.2.0] [v8.18] Draft Windows build Windows #1395: Pull request #369 synchronize by ejgallego
October 1, 2023 17:40 2h 12m 13s ejgallego:coq_lsp_8_18
ejgallego:coq_lsp_8_18
October 1, 2023 17:40 2h 12m 13s
[2023.08] [coq-lsp 0.2.0] [v8.18] Draft Windows build Windows #1394: Pull request #369 synchronize by ejgallego
October 1, 2023 16:49 45m 16s ejgallego:coq_lsp_8_18
ejgallego:coq_lsp_8_18
October 1, 2023 16:49 45m 16s
[2023.08] [coq-lsp 0.2.0] [v8.18] Draft Windows build Windows #1393: Pull request #369 synchronize by ejgallego
October 1, 2023 16:03 41m 3s ejgallego:coq_lsp_8_18
ejgallego:coq_lsp_8_18
October 1, 2023 16:03 41m 3s