Skip to content

Actions: ms-jpq/coq_nvim

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
689 workflow runs
689 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI CI #6206: Scheduled
December 14, 2024 01:09 2m 24s coq
coq
December 14, 2024 01:09 2m 24s
CI CI #6205: Scheduled
December 13, 2024 01:12 3m 53s coq
coq
December 13, 2024 01:12 3m 53s
CI CI #6204: Scheduled
December 12, 2024 01:11 1m 36s coq
coq
December 12, 2024 01:11 1m 36s
CI CI #6203: Scheduled
December 11, 2024 01:11 1m 45s coq
coq
December 11, 2024 01:11 1m 45s
CI CI #6202: Scheduled
December 10, 2024 01:12 1m 41s coq
coq
December 10, 2024 01:12 1m 41s
CI CI #6201: Scheduled
December 9, 2024 01:13 1m 53s coq
coq
December 9, 2024 01:13 1m 53s
CI CI #6200: Scheduled
December 8, 2024 01:16 1m 41s coq
coq
December 8, 2024 01:16 1m 41s
CI CI #6199: Scheduled
December 7, 2024 01:10 2m 12s coq
coq
December 7, 2024 01:10 2m 12s
ws before CI #6198: Commit 976012b pushed by ms-jpq
December 6, 2024 14:48 1m 58s coq
coq
December 6, 2024 14:48 1m 58s
clear cache on words change over CI #6197: Commit 3c9362e pushed by ms-jpq
December 6, 2024 14:46 1m 43s coq
coq
December 6, 2024 14:46 1m 43s
i CI #6196: Commit 0b6a5b1 pushed by ms-jpq
December 6, 2024 14:39 1m 37s coq
coq
December 6, 2024 14:39 1m 37s
dedupe lsp CI #6195: Commit bae7197 pushed by ms-jpq
December 6, 2024 14:39 1m 46s coq
coq
December 6, 2024 14:39 1m 46s
more aggressive pulling instead of caching CI #6194: Commit c58f98f pushed by ms-jpq
December 6, 2024 14:24 1m 41s coq
coq
December 6, 2024 14:24 1m 41s
can decide to reject CI #6193: Commit d2bcbb8 pushed by ms-jpq
December 6, 2024 14:05 1m 37s coq
coq
December 6, 2024 14:05 1m 37s
shift inline comp CI #6192: Commit 2e8e4b8 pushed by ms-jpq
December 6, 2024 13:46 1m 40s coq
coq
December 6, 2024 13:46 1m 40s
Revert "do not shift inline completions" CI #6191: Commit 0958f39 pushed by ms-jpq
December 6, 2024 13:02 1m 48s coq
coq
December 6, 2024 13:02 1m 48s
do not shift inline completions CI #6190: Commit 73ef728 pushed by ms-jpq
December 6, 2024 12:52 1m 45s coq
coq
December 6, 2024 12:52 1m 45s
CI CI #6189: Scheduled
December 6, 2024 01:10 1m 41s coq
coq
December 6, 2024 01:10 1m 41s
CI CI #6188: Scheduled
December 5, 2024 01:11 1m 55s coq
coq
December 5, 2024 01:11 1m 55s
better cache CI #6187: Commit 1916485 pushed by ms-jpq
December 4, 2024 23:17 1m 34s coq
coq
December 4, 2024 23:17 1m 34s
always pull CI #6186: Commit 0372b1a pushed by ms-jpq
December 4, 2024 23:16 2m 3s coq
coq
December 4, 2024 23:16 2m 3s
modify inline to IL CI #6185: Commit d807f0d pushed by ms-jpq
December 4, 2024 23:09 1m 42s coq
coq
December 4, 2024 23:09 1m 42s
better caching CI #6184: Commit d9541c7 pushed by ms-jpq
December 4, 2024 23:08 1m 42s coq
coq
December 4, 2024 23:08 1m 42s
if CI #6183: Commit 389333b pushed by ms-jpq
December 4, 2024 23:01 1m 42s coq
coq
December 4, 2024 23:01 1m 42s
mypy CI #6182: Commit 3938f34 pushed by ms-jpq
December 4, 2024 19:54 1m 44s coq
coq
December 4, 2024 19:54 1m 44s