Skip to content

Actions: whonore/Coqtail

Actions

Vim Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Adapt to https://github.com/coq/coq/pull/18880 (#348) Vim Tests #32: Commit e658dca pushed by whonore
April 13, 2024 16:15 1m 32s main
main
April 13, 2024 16:15 1m 32s
Better dune support Vim Tests #31: Pull request #347 opened by lgaeher
April 5, 2024 13:18 49s lgaeher:better-dune-support
lgaeher:better-dune-support
April 5, 2024 13:18 49s
fix: made edestruct a tactic keyword (#346) Vim Tests #30: Commit c881047 pushed by whonore
March 30, 2024 21:17 41s main
main
March 30, 2024 21:17 41s
fix: made edestruct a tactic keyword Vim Tests #29: Pull request #346 synchronize by whonore
March 30, 2024 21:16 43s bn-peters:highlight-edestruct
bn-peters:highlight-edestruct
March 30, 2024 21:16 43s
fix: made edestruct a tactic keyword Vim Tests #28: Pull request #346 opened by bn-peters
March 28, 2024 09:41 47s bn-peters:highlight-edestruct
bn-peters:highlight-edestruct
March 28, 2024 09:41 47s
Update changelog Vim Tests #27: Commit 8f24d72 pushed by whonore
March 21, 2024 23:40 38s main
main
March 21, 2024 23:40 38s
Highlight "dependent" in "generalize dependent" (#343) Vim Tests #26: Commit 8a8e32b pushed by whonore
March 21, 2024 23:33 1m 41s main
main
March 21, 2024 23:33 1m 41s
Highlight "dependent" in "generalize dependent" Vim Tests #25: Pull request #343 opened by guidanoli
March 20, 2024 20:09 48s guidanoli:feature/generalize-dependent
guidanoli:feature/generalize-dependent
March 20, 2024 20:09 48s
Rewrite _CoqProject parser to match CoqIDE (#342) Vim Tests #24: Commit 70fcabb pushed by whonore
February 24, 2024 19:06 43s main
main
February 24, 2024 19:06 43s
Rewrite _CoqProject parser to match CoqIDE Vim Tests #23: Pull request #342 synchronize by whonore
February 24, 2024 19:03 42s coqproject-quoted-args
coqproject-quoted-args
February 24, 2024 19:03 42s
Rewrite _CoqProject parser to match CoqIDE Vim Tests #22: Pull request #342 opened by whonore
February 24, 2024 19:02 43s coqproject-quoted-args
coqproject-quoted-args
February 24, 2024 19:02 43s
Call a user-specified hook function when defining keybindings (#339) Vim Tests #21: Commit d27e33d pushed by whonore
February 19, 2024 18:48 44s main
main
February 19, 2024 18:48 44s
Call a user-specified hook function when defining keybindings Vim Tests #20: Pull request #339 synchronize by jesboat
February 19, 2024 18:43 43s jesboat:add-hook-for-keybindings
jesboat:add-hook-for-keybindings
February 19, 2024 18:43 43s
Call a user-specified hook function when defining keybindings Vim Tests #19: Pull request #339 synchronize by jesboat
February 19, 2024 14:29 44s jesboat:add-hook-for-keybindings
jesboat:add-hook-for-keybindings
February 19, 2024 14:29 44s
Call a user-specified hook function when defining keybindings Vim Tests #18: Pull request #339 opened by jesboat
February 19, 2024 14:23 41s jesboat:add-hook-for-keybindings
jesboat:add-hook-for-keybindings
February 19, 2024 14:23 41s
Add g:coqtail_treat_stderr_as_warning (#338) Vim Tests #17: Commit 92cd578 pushed by whonore
February 17, 2024 16:32 41s main
main
February 17, 2024 16:32 41s
Add g:coqtail_treat_stderr_as_warning Vim Tests #16: Pull request #338 opened by whonore
February 17, 2024 16:27 42s treat-stderr-as-warning
treat-stderr-as-warning
February 17, 2024 16:27 42s
Fix goals panel when no proof is active on Coq >= 8.16. (#337) Vim Tests #15: Commit e52c456 pushed by whonore
February 17, 2024 13:44 43s main
main
February 17, 2024 13:44 43s
Release 1.7.1 Vim Tests #14: Commit ede74fb pushed by whonore
January 28, 2024 16:09 1m 20s main
main
January 28, 2024 16:09 1m 20s
Update Coq and CI versions (#336) Vim Tests #13: Commit 4514d0b pushed by whonore
January 28, 2024 16:08 1m 22s main
main
January 28, 2024 16:08 1m 22s
Update versions Vim Tests #12: Pull request #336 synchronize by whonore
January 28, 2024 16:04 1m 15s update-versions
update-versions
January 28, 2024 16:04 1m 15s
Update versions Vim Tests #11: Pull request #336 opened by whonore
January 28, 2024 15:53 1m 20s update-versions
update-versions
January 28, 2024 15:53 1m 20s