Skip to content

Actions: coq/platform

Actions

Windows

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
windows.yml
34 workflow run results
34 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
Windows Windows #1403: Scheduled
October 3, 2023 01:16 5h 31m 21s main
main
October 3, 2023 01:16 5h 31m 21s
[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. 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
[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
[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
[2023.08] [coq-lsp 0.2.0] [v8.17] Draft Windows build Windows #1392: Pull request #368 synchronize by ejgallego
October 1, 2023 15:16 3h 8m 13s ejgallego:coq_lsp_8_17
ejgallego:coq_lsp_8_17
October 1, 2023 15:16 3h 8m 13s
[2023.08] [coq-lsp 0.2.0] [v8.18] Draft Windows build Windows #1391: Pull request #369 synchronize by ejgallego
October 1, 2023 15:16 43m 50s ejgallego:coq_lsp_8_18
ejgallego:coq_lsp_8_18
October 1, 2023 15:16 43m 50s
[2023.08] [coq-lsp 0.2.0] [v8.18] Draft Windows build Windows #1390: Pull request #369 synchronize by ejgallego
October 1, 2023 14:26 40m 18s ejgallego:coq_lsp_8_18
ejgallego:coq_lsp_8_18
October 1, 2023 14:26 40m 18s
[2023.08] [coq-lsp 0.2.0] [v8.17] Draft Windows build Windows #1389: Pull request #368 synchronize by ejgallego
October 1, 2023 14:25 44m 8s ejgallego:coq_lsp_8_17
ejgallego:coq_lsp_8_17
October 1, 2023 14:25 44m 8s
Windows Windows #1388: Scheduled
October 1, 2023 01:25 5h 25m 58s main
main
October 1, 2023 01:25 5h 25m 58s
[2023.08] [coq-lsp 0.2.0] [v8.17] Draft Windows build Windows #1387: Pull request #368 synchronize by ejgallego
September 30, 2023 15:38 45m 55s ejgallego:coq_lsp_8_17
ejgallego:coq_lsp_8_17
September 30, 2023 15:38 45m 55s
[2023.08] [coq-lsp 0.2.0] [v8.18] Draft Windows build Windows #1386: Pull request #369 synchronize by ejgallego
September 30, 2023 15:37 45m 21s ejgallego:coq_lsp_8_18
ejgallego:coq_lsp_8_18
September 30, 2023 15:37 45m 21s
Windows Windows #1385: Scheduled
September 30, 2023 01:14 3h 56m 52s main
main
September 30, 2023 01:14 3h 56m 52s
[2023.08] [coq-lsp 0.2.0] [v8.18] Draft Windows build Windows #1384: Pull request #369 synchronize by ejgallego
September 29, 2023 18:10 47m 57s ejgallego:coq_lsp_8_18
ejgallego:coq_lsp_8_18
September 29, 2023 18:10 47m 57s
[2023.08] [coq-lsp 0.2.0] [v8.17] Draft Windows build Windows #1383: Pull request #368 synchronize by ejgallego
September 29, 2023 18:04 54m 40s ejgallego:coq_lsp_8_17
ejgallego:coq_lsp_8_17
September 29, 2023 18:04 54m 40s
[2023.08] [coq-lsp 0.2.0] [v8.17] Draft Windows build Windows #1382: Pull request #368 synchronize by ejgallego
September 29, 2023 15:13 1h 29m 10s ejgallego:coq_lsp_8_17
ejgallego:coq_lsp_8_17
September 29, 2023 15:13 1h 29m 10s
[2023.08] [coq-lsp 0.2.0] [v8.18] Draft Windows build Windows #1381: Pull request #369 synchronize by ejgallego
September 29, 2023 15:04 1h 49m 34s ejgallego:coq_lsp_8_18
ejgallego:coq_lsp_8_18
September 29, 2023 15:04 1h 49m 34s
[2023.08] [coq-lsp 0.2.0] [v8.18] Draft Windows build Windows #1380: Pull request #369 opened by ejgallego
September 29, 2023 13:30 1h 22m 8s ejgallego:coq_lsp_8_18
ejgallego:coq_lsp_8_18
September 29, 2023 13:30 1h 22m 8s