Skip to content

Actions: whonore/Coqtail

Actions

Python Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
python-tests.yml
48 workflow runs
48 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Fix bug when selecting indented proof blocks (#433) Python Tests #148: Commit c5ab7d8 pushed by whonore
23s main
main
23s
Set 'path' and add fallback for 'includeexpr' (#431) Python Tests #147: Commit 6bfe28f pushed by whonore
21s main
main
21s
Set 'path' and add fallback for 'includeexpr' Python Tests #146: Pull request #431 synchronize by whonore
20s mateoxh:path
mateoxh:path
20s
Set 'path' and add fallback for 'includeexpr' Python Tests #145: Pull request #431 synchronize by whonore
28s mateoxh:path
mateoxh:path
28s
Release 1.10.0 Python Tests #144: Commit 8e5427f pushed by whonore
18s main
main
18s
Mention filetype_v in README (#432) Python Tests #143: Commit bc7652c pushed by whonore
20s main
main
20s
Added keyword "Abbreviation" (#430) Python Tests #142: Commit ff4324a pushed by whonore
16s main
main
16s
Fix E108 in 'joinspaces' autocommand (#429) Python Tests #141: Commit f513d17 pushed by whonore
26s main
main
26s
Parse comments in _CoqProject files correctly (#428) Python Tests #140: Commit 9a3b134 pushed by whonore
17s main
main
17s
Make mypy happy (#426) Python Tests #139: Commit b8f12a0 pushed by whonore
20s main
main
20s
Make mypy happy Python Tests #138: Pull request #426 opened by whonore
15s mypy-fix
mypy-fix
15s
Speed up initialization and refactor Vim code (#425) Python Tests #137: Commit 1c30ecc pushed by whonore
26s main
main
26s
Clean up Vim code (#424) Python Tests #136: Commit cf497af pushed by whonore
15s main
main
15s
Support Rocq 9.2 (#423) Python Tests #135: Commit e509843 pushed by whonore
48s main
main
48s
Support Rocq 9.2 Python Tests #134: Pull request #423 opened by whonore
15s rocq-9.2
rocq-9.2
15s
Add local version of 'joinspaces' for Rocq buffers (#422) Python Tests #133: Commit 629a6e2 pushed by whonore
18s main
main
18s
Set wildignore; Move global variables to plugin/ (#421) Python Tests #132: Commit 157e738 pushed by whonore
16s main
main
16s
Update Vim 9.1, add 9.2 to CI (#420) Python Tests #131: Commit d470fff pushed by whonore
17s main
main
17s
Release 1.9.0 Python Tests #130: Commit abd905d pushed by whonore
18s main
main
18s
Merge fixed sections in changelog Python Tests #129: Commit 447f7c0 pushed by whonore
19s main
main
19s
Update changelog Python Tests #128: Commit ec61c73 pushed by whonore
15s main
main
15s
Add text object for proofs (#417) Python Tests #127: Commit 33d0353 pushed by whonore
19s main
main
19s
Add mappings to move around Coq commands (#412) Python Tests #126: Commit 240c8f2 pushed by whonore
15s main
main
15s
Fix incorrect filetype detection for other languages (#414) Python Tests #125: Commit 6d3e621 pushed by whonore
17s main
main
17s
Address linter warnings (#416) Python Tests #124: Commit d4ecf4b pushed by whonore
19s main
main
19s