Skip to content

Actions: whonore/Coqtail

Actions

Vim Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
72 workflow runs
72 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Adapt to new error location type (#358)
Vim Tests #57: Commit a363529 pushed by whonore
June 15, 2024 20:06 44s main
June 15, 2024 20:06 44s
Better dune support
Vim Tests #56: Pull request #347 synchronize by lgaeher
June 5, 2024 14:22 46s lgaeher:better-dune-support
June 5, 2024 14:22 46s
Better dune support
Vim Tests #55: Pull request #347 synchronize by lgaeher
June 5, 2024 08:49 1m 36s lgaeher:better-dune-support
June 5, 2024 08:49 1m 36s
Fix local nix + coq tests (#359)
Vim Tests #54: Commit d77080e pushed by whonore
June 2, 2024 14:34 39s main
June 2, 2024 14:34 39s
Better dune support
Vim Tests #53: Pull request #347 synchronize by lgaeher
May 24, 2024 17:59 1m 37s lgaeher:better-dune-support
May 24, 2024 17:59 1m 37s
Better dune support
Vim Tests #52: Pull request #347 synchronize by lgaeher
May 24, 2024 16:01 44s lgaeher:better-dune-support
May 24, 2024 16:01 44s
Better dune support
Vim Tests #51: Pull request #347 synchronize by lgaeher
May 24, 2024 13:26 45s lgaeher:better-dune-support
May 24, 2024 13:26 45s
Better dune support
Vim Tests #50: Pull request #347 synchronize by lgaeher
May 22, 2024 18:18 42s lgaeher:better-dune-support
May 22, 2024 18:18 42s
Better dune support
Vim Tests #49: Pull request #347 synchronize by lgaeher
May 22, 2024 18:11 1m 36s lgaeher:better-dune-support
May 22, 2024 18:11 1m 36s
Better dune support
Vim Tests #48: Pull request #347 synchronize by lgaeher
May 22, 2024 15:11 43s lgaeher:better-dune-support
May 22, 2024 15:11 43s
Better dune support
Vim Tests #47: Pull request #347 synchronize by lgaeher
May 22, 2024 12:59 45s lgaeher:better-dune-support
May 22, 2024 12:59 45s
Better dune support
Vim Tests #46: Pull request #347 synchronize by lgaeher
May 22, 2024 12:44 43s lgaeher:better-dune-support
May 22, 2024 12:44 43s
Better dune support
Vim Tests #45: Pull request #347 synchronize by lgaeher
May 22, 2024 12:35 46s lgaeher:better-dune-support
May 22, 2024 12:35 46s
Better dune support
Vim Tests #44: Pull request #347 synchronize by lgaeher
May 21, 2024 11:31 2m 25s lgaeher:better-dune-support
May 21, 2024 11:31 2m 25s
Highlight Structure as a synonym for Record (#357)
Vim Tests #43: Commit 8cacc5e pushed by whonore
May 19, 2024 00:29 42s main
May 19, 2024 00:29 42s
Highlight Structure as a synonym for Record
Vim Tests #42: Pull request #357 opened by whonore
May 19, 2024 00:28 44s structure-syntax
May 19, 2024 00:28 44s
Remove unnecessary pylint suppression comments
Vim Tests #41: Commit 78b2d5b pushed by whonore
May 17, 2024 23:40 1m 32s main
May 17, 2024 23:40 1m 32s
Mention pynvim requirement (#356)
Vim Tests #40: Commit 473a94e pushed by whonore
May 17, 2024 23:28 45s main
May 17, 2024 23:28 45s
Make Requirements linkable in README (#354)
Vim Tests #39: Commit 60d5fef pushed by whonore
May 6, 2024 21:40 43s main
May 6, 2024 21:40 43s
Only parse complete lines in s:chanrecv (#353)
Vim Tests #38: Commit c74271e pushed by whonore
April 19, 2024 23:38 42s main
April 19, 2024 23:38 42s
Neovim check complete response
Vim Tests #37: Pull request #353 opened by whonore
April 19, 2024 01:27 44s neovim-check-complete-response
April 19, 2024 01:27 44s
Avoid highlighting comments in strings (#352)
Vim Tests #36: Commit f2dba4d pushed by whonore
April 17, 2024 21:12 42s main
April 17, 2024 21:12 42s
Avoid highlighting comments in strings
Vim Tests #35: Pull request #352 synchronize by whonore
April 17, 2024 21:11 43s Lysxia:comment-in-string
April 17, 2024 21:11 43s
Avoid highlighting comments in strings
Vim Tests #34: Pull request #352 opened by Lysxia
April 17, 2024 11:17 1m 10s Lysxia:comment-in-string
April 17, 2024 11:17 1m 10s
Fix Coq tests (#349)
Vim Tests #33: Commit 0694dbe pushed by whonore
April 13, 2024 16:38 43s main
April 13, 2024 16:38 43s