Skip to content

Actions: whonore/Coqtail

Actions

Python Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Coq 8.20 (#373) Python Tests #79: Commit 299d0ac pushed by whonore
September 17, 2024 17:13 26s main
main
September 17, 2024 17:13 26s
Coq 8.20 Python Tests #78: Pull request #373 synchronize by whonore
September 17, 2024 17:06 30s coq-8.20
coq-8.20
September 17, 2024 17:06 30s
Coq 8.20 Python Tests #77: Pull request #373 opened by whonore
September 17, 2024 17:04 32s coq-8.20
coq-8.20
September 17, 2024 17:04 32s
Adapt to https://github.com/coq/coq/pull/19530 (#372) Python Tests #76: Commit a582fba pushed by whonore
September 17, 2024 16:07 25s main
main
September 17, 2024 16:07 25s
Adapt to https://github.com/coq/coq/pull/19530 Python Tests #75: Pull request #372 synchronize by whonore
September 17, 2024 15:58 29s proux01:stdlib_repo
proux01:stdlib_repo
September 17, 2024 15:58 29s
Adapt to https://github.com/coq/coq/pull/19530 Python Tests #74: Pull request #372 opened by proux01
September 17, 2024 06:08 30s proux01:stdlib_repo
proux01:stdlib_repo
September 17, 2024 06:08 30s
Pass function instead of string to coqtail#start (#371) Python Tests #73: Commit c1ae5b3 pushed by whonore
September 4, 2024 02:10 35s main
main
September 4, 2024 02:10 35s
Add CoqCommandComplete and g:coqtail#event Python Tests #72: Pull request #368 opened by whonore
August 31, 2024 23:00 25s checked-region-autocmd
checked-region-autocmd
August 31, 2024 23:00 25s
Avoid race condition while starting coqtail (#366) Python Tests #71: Commit a3d2830 pushed by whonore
August 23, 2024 13:21 26s main
main
August 23, 2024 13:21 26s
Add two sentences to README.md explaining when Coqtail commands are l… Python Tests #70: Commit 7e37111 pushed by whonore
August 23, 2024 03:08 32s main
main
August 23, 2024 03:08 32s
Fix NeoVim Deadlock (#361) Python Tests #69: Commit ac6e91f pushed by whonore
August 3, 2024 22:27 30s main
main
August 3, 2024 22:27 30s
Fix NeoVim Deadlock Python Tests #68: Pull request #361 opened by whonore
August 3, 2024 20:42 1m 3s neovim-deadlock
neovim-deadlock
August 3, 2024 20:42 1m 3s
Release 1.7.2 Python Tests #67: Commit c1dc306 pushed by whonore
June 30, 2024 18:30 23s main
main
June 30, 2024 18:30 23s
Better dune support (#347) Python Tests #66: Commit 8aadf87 pushed by whonore
June 30, 2024 18:25 25s main
main
June 30, 2024 18:25 25s
Better dune support Python Tests #65: Pull request #347 synchronize by whonore
June 29, 2024 14:51 28s lgaeher:better-dune-support
lgaeher:better-dune-support
June 29, 2024 14:51 28s
Better dune support Python Tests #64: Pull request #347 synchronize by whonore
June 29, 2024 14:37 24s lgaeher:better-dune-support
lgaeher:better-dune-support
June 29, 2024 14:37 24s
Better dune support Python Tests #63: Pull request #347 synchronize by whonore
June 29, 2024 13:55 27s lgaeher:better-dune-support
lgaeher:better-dune-support
June 29, 2024 13:55 27s
Better dune support Python Tests #62: Pull request #347 synchronize by lgaeher
June 24, 2024 16:03 30s lgaeher:better-dune-support
lgaeher:better-dune-support
June 24, 2024 16:03 30s
Better dune support Python Tests #61: Pull request #347 synchronize by whonore
June 24, 2024 00:28 26s lgaeher:better-dune-support
lgaeher:better-dune-support
June 24, 2024 00:28 26s
Better dune support Python Tests #60: Pull request #347 synchronize by lgaeher
June 23, 2024 11:30 27s lgaeher:better-dune-support
lgaeher:better-dune-support
June 23, 2024 11:30 27s
Better dune support Python Tests #59: Pull request #347 synchronize by lgaeher
June 20, 2024 13:21 28s lgaeher:better-dune-support
lgaeher:better-dune-support
June 20, 2024 13:21 28s
Adapt to new error location type (#358) Python Tests #58: Commit a363529 pushed by whonore
June 15, 2024 20:06 31s main
main
June 15, 2024 20:06 31s
Better dune support Python Tests #57: Pull request #347 synchronize by lgaeher
June 5, 2024 14:22 31s lgaeher:better-dune-support
lgaeher:better-dune-support
June 5, 2024 14:22 31s
Better dune support Python Tests #56: Pull request #347 synchronize by lgaeher
June 5, 2024 08:49 30s lgaeher:better-dune-support
lgaeher:better-dune-support
June 5, 2024 08:49 30s
Fix local nix + coq tests (#359) Python Tests #55: Commit d77080e pushed by whonore
June 2, 2024 14:34 28s main
main
June 2, 2024 14:34 28s