Skip to content

Actions: whonore/Coqtail

Actions

Coq

Actions

Loading...
Loading

Showing runs from all workflows named Coq
71 workflow run results
71 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix local nix + coq tests Coq Tests #53: Pull request #359 opened by whonore
June 2, 2024 14:30 4m 21s fix-local-coq-tests
fix-local-coq-tests
June 2, 2024 14:30 4m 21s
Adapt to new error location type Coq Tests #50: Pull request #358 opened by whonore
June 2, 2024 13:42 1m 46s v8.20-error-loc
v8.20-error-loc
June 2, 2024 13:42 1m 46s
Fix local nix + coq tests (#359) Coq Tests #54: Commit d77080e pushed by whonore
June 2, 2024 14:34 4m 40s main
main
June 2, 2024 14:34 4m 40s
Adapt to new error location type Coq Tests #51: Pull request #358 synchronize by whonore
June 2, 2024 13:50 1m 50s v8.20-error-loc
v8.20-error-loc
June 2, 2024 13:50 1m 50s
Better dune support Coq Tests #47: Pull request #347 synchronize by lgaeher
May 24, 2024 13:26 4m 47s lgaeher:better-dune-support
lgaeher:better-dune-support
May 24, 2024 13:26 4m 47s
Better dune support Coq Tests #41: Pull request #347 synchronize by lgaeher
May 22, 2024 12:35 1m 10s lgaeher:better-dune-support
lgaeher:better-dune-support
May 22, 2024 12:35 1m 10s
Better dune support Coq Tests #43: Pull request #347 synchronize by lgaeher
May 22, 2024 12:59 1m 48s lgaeher:better-dune-support
lgaeher:better-dune-support
May 22, 2024 12:59 1m 48s
Better dune support Coq Tests #42: Pull request #347 synchronize by lgaeher
May 22, 2024 12:44 4m 49s lgaeher:better-dune-support
lgaeher:better-dune-support
May 22, 2024 12:44 4m 49s
Better dune support Coq Tests #46: Pull request #347 synchronize by lgaeher
May 22, 2024 18:18 2m 4s lgaeher:better-dune-support
lgaeher:better-dune-support
May 22, 2024 18:18 2m 4s
Better dune support Coq Tests #45: Pull request #347 synchronize by lgaeher
May 22, 2024 18:11 4m 26s lgaeher:better-dune-support
lgaeher:better-dune-support
May 22, 2024 18:11 4m 26s
Better dune support Coq Tests #48: Pull request #347 synchronize by lgaeher
May 24, 2024 16:01 4m 55s lgaeher:better-dune-support
lgaeher:better-dune-support
May 24, 2024 16:01 4m 55s
Better dune support Coq Tests #49: Pull request #347 synchronize by lgaeher
May 24, 2024 17:59 1m 32s lgaeher:better-dune-support
lgaeher:better-dune-support
May 24, 2024 17:59 1m 32s
Better dune support Coq Tests #40: Pull request #347 synchronize by lgaeher
May 21, 2024 11:31 4m 54s lgaeher:better-dune-support
lgaeher:better-dune-support
May 21, 2024 11:31 4m 54s
Better dune support Coq Tests #44: Pull request #347 synchronize by lgaeher
May 22, 2024 15:11 1m 13s lgaeher:better-dune-support
lgaeher:better-dune-support
May 22, 2024 15:11 1m 13s
Update versions Coq Tests #14: Pull request #336 synchronize by whonore
January 28, 2024 16:04 2m 53s update-versions
update-versions
January 28, 2024 16:04 2m 53s
Update versions Coq Tests #13: Pull request #336 opened by whonore
January 28, 2024 15:53 6m 7s update-versions
update-versions
January 28, 2024 15:53 6m 7s
Release 1.7.1 Coq Tests #16: Commit ede74fb pushed by whonore
January 28, 2024 16:09 6m 8s main
main
January 28, 2024 16:09 6m 8s
Update Coq and CI versions (#336) Coq Tests #15: Commit 4514d0b pushed by whonore
January 28, 2024 16:08 1m 47s main
main
January 28, 2024 16:08 1m 47s
Fix goals panel when no proof is active on Coq >= 8.16. Coq Tests #17: Pull request #337 opened by jesboat
February 14, 2024 22:24 4m 15s jesboat:fix-goals-when-no-proof
jesboat:fix-goals-when-no-proof
February 14, 2024 22:24 4m 15s
Fix goals panel when no proof is active on Coq >= 8.16. (#337) Coq Tests #19: Commit e52c456 pushed by whonore
February 17, 2024 13:44 4m 59s main
main
February 17, 2024 13:44 4m 59s
Fix goals panel when no proof is active on Coq >= 8.16. Coq Tests #18: Pull request #337 synchronize by whonore
February 17, 2024 13:38 4m 18s jesboat:fix-goals-when-no-proof
jesboat:fix-goals-when-no-proof
February 17, 2024 13:38 4m 18s
Add g:coqtail_treat_stderr_as_warning Coq Tests #20: Pull request #338 opened by whonore
February 17, 2024 16:27 2m 0s treat-stderr-as-warning
treat-stderr-as-warning
February 17, 2024 16:27 2m 0s
Add g:coqtail_treat_stderr_as_warning (#338) Coq Tests #21: Commit 92cd578 pushed by whonore
February 17, 2024 16:32 1m 56s main
main
February 17, 2024 16:32 1m 56s
Call a user-specified hook function when defining keybindings (#339) Coq Tests #22: Commit d27e33d pushed by whonore
February 19, 2024 18:48 5m 1s main
main
February 19, 2024 18:48 5m 1s
Highlight "dependent" in "generalize dependent" (#343) Coq Tests #24: Commit 8a8e32b pushed by whonore
March 21, 2024 23:33 4m 25s main
main
March 21, 2024 23:33 4m 25s