8000 Vim Tests · Workflow runs · whonore/Coqtail · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Actions: whonore/Coqtail

Actions

Vim Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use python 3.10 for CI, bump action versions (#389) Vim Tests #96: Commit 2834085 pushed by whonore
June 6, 2025 04:43 44s main
main
June 6, 2025 04:43 44s
Use python 3.10 for CI, bump action versions (#389) Vim Tests #95: Commit d539618 pushed by whonore
June 6, 2025 04:41 1m 50s main
main
June 6, 2025 04:41 1m 50s
Use python 3.10 for CI, bump action versions Vim Tests #94: Pull request #389 synchronize by whonore
June 6, 2025 04:41 42s fix-actions
fix-actions
June 6, 2025 04:41 42s
Use python 3.10 for CI, bump action versions Vim Tests #93: Pull request #389 synchronize by whonore
June 6, 2025 04:34 43s fix-actions
fix-actions
June 6, 2025 04:34 43s
Use python 3.10 for CI, bump action versions Vim Tests #92: Pull request #389 opened by whonore
June 6, 2025 04:27 1m 30s fix-actions
fix-actions
June 6, 2025 04:27 1m 30s
Fix RocqToggleDebug regressions (#388) Vim Tests #91: Commit 4293691 pushed by whonore
June 6, 2025 04:12 37s main
main
June 6, 2025 04:12 37s
Fix RocqToggleDebug regressions Vim Tests #90: Pull request #388 opened by whonore
June 6, 2025 04:10 42s fix-toggle-debug
fix-toggle-debug
June 6, 2025 04:10 42s
Fix test badges Vim Tests #89: Commit 262e4cf pushed by whonore
March 29, 2025 20:34 45s main
main
March 29, 2025 20:34 45s
Fix test badges Vim Tests #88: Commit 317c76b pushed by whonore
March 29, 2025 20:33 37s main
main
March 29, 2025 20:33 37s
Release 1.8.0 Vim Tests #87: Commit 764686a pushed by whonore
March 29, 2025 20:24 43s main
main
March 29, 2025 20:24 43s
Support Rocq 9.0 (#383) Vim Tests #86: Commit aade4e7 pushed by whonore
March 29, 2025 20:20 43s main
main
March 29, 2025 20:20 43s
Support Rocq 9.0 Vim Tests #85: Pull request #383 synchronize by whonore
March 29, 2025 20:16 40s rocq-9
rocq-9
March 29, 2025 20:16 40s
Support Rocq 9.0 Vim Tests #84: Pull request #383 opened by whonore
March 29, 2025 19:56 41s rocq-9
rocq-9
March 29, 2025 19:56 41s
Concealing special characters Vim Tests #83: Pull request #381 opened by WhiteBlackGoose
March 16, 2025 11:10 41s WhiteBlackGoose:main
WhiteBlackGoose:main
March 16, 2025 11:10 41s
Parse named goal selectors correctly Vim Tests #82: Commit 77ff3fa pushed by whonore
February 23, 2025 23:17 46s main
main
February 23, 2025 23:17 46s
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
0