Skip to content

Actions: whonore/Coqtail

Actions

Coq Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coq-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) Coq Tests #83: Commit 9bd2a18 pushed by whonore
January 4, 2025 23:22 2m 42s main
main
January 4, 2025 23:22 2m 42s
Fix Set Default Proof Mode being ignored Coq Tests #82: Pull request #377 opened by whonore
January 4, 2025 23:19 1m 48s set-option-with-add
set-option-with-add
January 4, 2025 23:19 1m 48s
Fix CI (#376) Coq Tests #81: Commit 851130c pushed by whonore
January 4, 2025 23:17 3m 33s main
main
January 4, 2025 23:17 3m 33s
Appease mypy and pylint Coq Tests #80: Pull request #376 synchronize by whonore
January 4, 2025 23:14 1m 31s pylint-mypy
pylint-mypy
January 4, 2025 23:14 1m 31s
Appease mypy and pylint Coq Tests #79: Pull request #376 synchronize by whonore
January 4, 2025 23:11 48s pylint-mypy
pylint-mypy
January 4, 2025 23:11 48s
Appease mypy and pylint Coq Tests #78: Pull request #376 opened by whonore
January 4, 2025 22:38 2m 5s pylint-mypy
pylint-mypy
January 4, 2025 22:38 2m 5s
Coq 8.20 (#373) Coq Tests #77: Commit 299d0ac pushed by whonore
September 17, 2024 17:13 2m 6s main
main
September 17, 2024 17:13 2m 6s
Coq 8.20 Coq Tests #76: Pull request #373 synchronize by whonore
September 17, 2024 17:06 2m 7s coq-8.20
coq-8.20
September 17, 2024 17:06 2m 7s
Coq 8.20 Coq Tests #75: Pull request #373 opened by whonore
September 17, 2024 17:04 22s coq-8.20
coq-8.20
September 17, 2024 17:04 22s
Adapt to https://github.com/coq/coq/pull/19530 (#372) Coq Tests #74: Commit a582fba pushed by whonore
September 17, 2024 16:07 5m 11s main
main
September 17, 2024 16:07 5m 11s
Adapt to https://github.com/coq/coq/pull/19530 Coq Tests #73: Pull request #372 synchronize by whonore
September 17, 2024 15:58 4m 38s proux01:stdlib_repo
proux01:stdlib_repo
September 17, 2024 15:58 4m 38s
Adapt to https://github.com/coq/coq/pull/19530 Coq Tests #72: Pull request #372 opened by proux01
September 17, 2024 06:08 1m 55s proux01:stdlib_repo
proux01:stdlib_repo
September 17, 2024 06:08 1m 55s
Pass function instead of string to coqtail#start (#371) Coq Tests #71: Commit c1ae5b3 pushed by whonore
September 4, 2024 02:10 5m 3s main
main
September 4, 2024 02:10 5m 3s
Avoid race condition while starting coqtail (#366) Coq Tests #70: Commit a3d2830 pushed by whonore
August 23, 2024 13:21 1m 54s main
main
August 23, 2024 13:21 1m 54s
Add two sentences to README.md explaining when Coqtail commands are l… Coq Tests #69: Commit 7e37111 pushed by whonore
August 23, 2024 03:08 5m 18s main
main
August 23, 2024 03:08 5m 18s
Fix NeoVim Deadlock (#361) Coq Tests #68: Commit ac6e91f pushed by whonore
August 3, 2024 22:27 4m 26s main
main
August 3, 2024 22:27 4m 26s
Fix NeoVim Deadlock Coq Tests #67: Pull request #361 opened by whonore
August 3, 2024 20:42 5m 11s neovim-deadlock
neovim-deadlock
August 3, 2024 20:42 5m 11s
Release 1.7.2 Coq Tests #66: Commit c1dc306 pushed by whonore
June 30, 2024 18:30 1m 44s main
main
June 30, 2024 18:30 1m 44s
Better dune support (#347) Coq Tests #65: Commit 8aadf87 pushed by whonore
June 30, 2024 18:25 4m 47s main
main
June 30, 2024 18:25 4m 47s
Better dune support Coq Tests #64: Pull request #347 synchronize by whonore
June 29, 2024 14:51 1m 50s lgaeher:better-dune-support
lgaeher:better-dune-support
June 29, 2024 14:51 1m 50s
Better dune support Coq Tests #63: Pull request #347 synchronize by whonore
June 29, 2024 14:37 2m 10s lgaeher:better-dune-support
lgaeher:better-dune-support
June 29, 2024 14:37 2m 10s
Better dune support Coq Tests #62: Pull request #347 synchronize by whonore
June 29, 2024 13:55 4m 43s lgaeher:better-dune-support
lgaeher:better-dune-support
June 29, 2024 13:55 4m 43s
Better dune support Coq Tests #61: Pull request #347 synchronize by lgaeher
June 24, 2024 16:03 4m 54s lgaeher:better-dune-support
lgaeher:better-dune-support
June 24, 2024 16:03 4m 54s
Better dune support Coq Tests #60: Pull request #347 synchronize by whonore
June 24, 2024 00:28 1m 48s lgaeher:better-dune-support
lgaeher:better-dune-support
June 24, 2024 00:28 1m 48s
Better dune support Coq Tests #59: Pull request #347 synchronize by lgaeher
June 23, 2024 11:30 4m 54s lgaeher:better-dune-support
lgaeher:better-dune-support
June 23, 2024 11:30 4m 54s