Skip to content

Actions: coq/platform

Actions

Windows

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
windows.yml
752 workflow runs
752 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[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
[2023.08] [coq-lsp 0.2.0] [v8.17] Draft Windows build Windows #1379: Pull request #368 synchronize by ejgallego
September 29, 2023 13:24 1h 47m 44s ejgallego:coq_lsp_8_17
ejgallego:coq_lsp_8_17
September 29, 2023 13:24 1h 47m 44s
[2023.08] [coq-lsp 0.2.0] [v8.17] Draft Windows build Windows #1378: Pull request #368 synchronize by ejgallego
September 29, 2023 09:31 1h 46m 47s ejgallego:coq_lsp_8_17
ejgallego:coq_lsp_8_17
September 29, 2023 09:31 1h 46m 47s
Windows Windows #1377: Scheduled
September 29, 2023 01:16 5h 0m 27s main
main
September 29, 2023 01:16 5h 0m 27s
[2023.08] [coq-lsp 0.2.0] [v8.17] Draft Windows build Windows #1376: Pull request #368 synchronize by ejgallego
September 28, 2023 20:44 41m 22s ejgallego:coq_lsp_8_17
ejgallego:coq_lsp_8_17
September 28, 2023 20:44 41m 22s
[2023.08] [coq-lsp 0.2.0] [v8.17] Draft Windows build Windows #1375: Pull request #368 synchronize by ejgallego
September 28, 2023 18:26 1h 34m 47s ejgallego:coq_lsp_8_17
ejgallego:coq_lsp_8_17
September 28, 2023 18:26 1h 34m 47s
[2023.08] [coq-lsp 0.2.0] [v8.17] Draft Windows build Windows #1374: Pull request #368 synchronize by ejgallego
September 28, 2023 16:17 1h 25m 4s ejgallego:coq_lsp_8_17
ejgallego:coq_lsp_8_17
September 28, 2023 16:17 1h 25m 4s
[2023.08] [coq-lsp 0.2.0] [v8.17] Draft Windows build Windows #1373: Pull request #368 synchronize by ejgallego
September 28, 2023 14:25 1h 33m 19s ejgallego:coq_lsp_8_17
ejgallego:coq_lsp_8_17
September 28, 2023 14:25 1h 33m 19s
Merge pull request #367 from coq/fix-coq-makefile-sources-of Windows #1372: Commit 49d35b0 pushed by MSoegtropIMC
September 28, 2023 07:59 4h 53m 11s main
main
September 28, 2023 07:59 4h 53m 11s
Windows Windows #1371: Scheduled
September 28, 2023 01:15 4h 37m 24s main
main
September 28, 2023 01:15 4h 37m 24s
[2023.08] [coq-lsp 0.2.0] [v8.17] Draft Windows build Windows #1370: Pull request #368 synchronize by ejgallego
September 27, 2023 17:36 1h 36m 29s ejgallego:coq_lsp_8_17
ejgallego:coq_lsp_8_17
September 27, 2023 17:36 1h 36m 29s
[2023.08] [coq-lsp 0.2.0] [v8.17] Draft Windows build Windows #1369: Pull request #368 synchronize by ejgallego
September 27, 2023 15:26 1h 27m 1s ejgallego:coq_lsp_8_17
ejgallego:coq_lsp_8_17
September 27, 2023 15:26 1h 27m 1s
[2023.08] [coq-lsp 0.2.0] [v8.17] Draft Windows build Windows #1368: Pull request #368 synchronize by ejgallego
September 27, 2023 13:17 1h 12m 44s ejgallego:coq_lsp_8_17
ejgallego:coq_lsp_8_17
September 27, 2023 13:17 1h 12m 44s
Windows Windows #1367: Scheduled
September 27, 2023 01:16 5h 23m 37s main
main
September 27, 2023 01:16 5h 23m 37s
[2023.08] [coq-lsp 0.2.0] [v8.17] Draft Windows build Windows #1366: Pull request #368 synchronize by ejgallego
September 26, 2023 21:39 1h 49m 11s ejgallego:coq_lsp_8_17
ejgallego:coq_lsp_8_17
September 26, 2023 21:39 1h 49m 11s
[2023.08] [coq-lsp 0.2.0] [v8.17] Draft Windows build Windows #1365: Pull request #368 synchronize by ejgallego
September 26, 2023 20:07 1h 13m 45s ejgallego:coq_lsp_8_17
ejgallego:coq_lsp_8_17
September 26, 2023 20:07 1h 13m 45s
[2023.08] [coq-lsp 0.2.0] [v8.17] Draft Windows build Windows #1364: Pull request #368 synchronize by ejgallego
September 26, 2023 13:36 5h 52m 15s ejgallego:coq_lsp_8_17
ejgallego:coq_lsp_8_17
September 26, 2023 13:36 5h 52m 15s
[2023.08] [coq-lsp 0.2.0] [v8.17] Draft Windows build Windows #1363: Pull request #368 opened by ejgallego
September 26, 2023 12:22 1h 15m 0s ejgallego:coq_lsp_8_17
ejgallego:coq_lsp_8_17
September 26, 2023 12:22 1h 15m 0s
ProTip! You can narrow down the results and go further in time using created:<2023-09-26 or the other filters available.