Skip to content

Actions: whonore/Coqtail

Actions

Vim Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
vim-tests.yml
71 workflow runs
71 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix Set Default Proof Mode being ignored (#377) Vim Tests #81: Commit 9bd2a18 pushed by whonore
January 4, 2025 23:22 40s main
main
January 4, 2025 23:22 40s
Fix CI (#376) Vim Tests #80: Commit 851130c pushed by whonore
January 4, 2025 23:17 50s main
main
January 4, 2025 23:17 50s
Coq 8.20 (#373) Vim Tests #79: Commit 299d0ac pushed by whonore
September 17, 2024 17:13 47s main
main
September 17, 2024 17:13 47s
Coq 8.20 Vim Tests #78: Pull request #373 synchronize by whonore
September 17, 2024 17:06 49s coq-8.20
coq-8.20
September 17, 2024 17:06 49s
Coq 8.20 Vim Tests #77: Pull request #373 opened by whonore
September 17, 2024 17:04 21s coq-8.20
coq-8.20
September 17, 2024 17:04 21s
Adapt to https://github.com/coq/coq/pull/19530 (#372) Vim Tests #76: Commit a582fba pushed by whonore
September 17, 2024 16:07 50s main
main
September 17, 2024 16:07 50s
Pass function instead of string to coqtail#start (#371) Vim Tests #75: Commit c1ae5b3 pushed by whonore
September 4, 2024 02:10 40s main
main
September 4, 2024 02:10 40s
Pass function instead of string to coqtail#start Vim Tests #74: Pull request #371 opened by whonore
September 4, 2024 00:25 43s check-trailing-quote
check-trailing-quote
September 4, 2024 00:25 43s
Add CoqCommandComplete and g:coqtail#event Vim Tests #73: Pull request #368 opened by whonore
August 31, 2024 23:00 42s checked-region-autocmd
checked-region-autocmd
August 31, 2024 23:00 42s
Avoid race condition while starting coqtail (#366) Vim Tests #72: Commit a3d2830 pushed by whonore
August 23, 2024 13:21 44s main
main
August 23, 2024 13:21 44s
Avoid race condition while starting coqtail Vim Tests #71: Pull request #366 synchronize by whonore
August 23, 2024 04:01 41s start-race-condition
start-race-condition
August 23, 2024 04:01 41s
Avoid race condition while starting coqtail Vim Tests #70: Pull request #366 opened by whonore
August 23, 2024 03:53 42s start-race-condition
start-race-condition
August 23, 2024 03:53 42s
Add two sentences to README.md explaining when Coqtail commands are l… Vim Tests #69: Commit 7e37111 pushed by whonore
August 23, 2024 03:08 42s main
main
August 23, 2024 03:08 42s
Fix NeoVim Deadlock (#361) Vim Tests #68: Commit ac6e91f pushed by whonore
August 3, 2024 22:27 1m 42s main
main
August 3, 2024 22:27 1m 42s
Fix NeoVim Deadlock Vim Tests #67: Pull request #361 opened by whonore
August 3, 2024 20:42 41s neovim-deadlock
neovim-deadlock
August 3, 2024 20:42 41s
Release 1.7.2 Vim Tests #66: Commit c1dc306 pushed by whonore
June 30, 2024 18:30 41s main
main
June 30, 2024 18:30 41s
Better dune support (#347) Vim Tests #65: Commit 8aadf87 pushed by whonore
June 30, 2024 18:25 44s main
main
June 30, 2024 18:25 44s
Better dune support Vim Tests #64: Pull request #347 synchronize by whonore
June 29, 2024 14:51 45s lgaeher:better-dune-support
lgaeher:better-dune-support
June 29, 2024 14:51 45s
Better dune support Vim Tests #63: Pull request #347 synchronize by whonore
June 29, 2024 14:37 39s lgaeher:better-dune-support
lgaeher:better-dune-support
June 29, 2024 14:37 39s
Better dune support Vim Tests #62: Pull request #347 synchronize by whonore
June 29, 2024 13:55 45s lgaeher:better-dune-support
lgaeher:better-dune-support
June 29, 2024 13:55 45s
Better dune support Vim Tests #61: Pull request #347 synchronize by lgaeher
June 24, 2024 16:03 44s lgaeher:better-dune-support
lgaeher:better-dune-support
June 24, 2024 16:03 44s
Better dune support Vim Tests #60: Pull request #347 synchronize by whonore
June 24, 2024 00:28 43s lgaeher:better-dune-support
lgaeher:better-dune-support
June 24, 2024 00:28 43s
Better dune support Vim Tests #59: Pull request #347 synchronize by lgaeher
June 23, 2024 11:30 44s lgaeher:better-dune-support
lgaeher:better-dune-support
June 23, 2024 11:30 44s
Better dune support Vim Tests #58: Pull request #347 synchronize by lgaeher
June 20, 2024 13:21 46s lgaeher:better-dune-support
lgaeher:better-dune-support
June 20, 2024 13:21 46s
Adapt to new error location type (#358) Vim Tests #57: Commit a363529 pushed by whonore
June 15, 2024 20:06 44s main
main
June 15, 2024 20:06 44s