Skip to content

Actions: ProofGeneral/PG

Actions

Documentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
deploy-doc.yml
56 workflow runs
56 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Revert "texi-docstring-magic.el: Fix regression in last change" Documentation #59: Commit 2637216 pushed by hendriktews
March 28, 2024 23:44 1m 21s master
master
March 28, 2024 23:44 1m 21s
Revert "(texi-docstring-magic-texi-for): Use help-function-arglist" Documentation #58: Commit 01aa317 pushed by hendriktews
March 28, 2024 22:58 14m 6s master
master
March 28, 2024 22:58 14m 6s
texi-docstring-magic.el: Fix regression in last change Documentation #57: Commit f620526 pushed by monnier
March 28, 2024 22:57 15m 10s master
master
March 28, 2024 22:57 15m 10s
(texi-docstring-magic-texi-for): Use help-function-arglist Documentation #56: Commit a63a9b1 pushed by monnier
March 27, 2024 18:55 58s master
master
March 27, 2024 18:55 58s
CI: store containers currently needed and adapt cipg -delete Documentation #55: Commit 5d6cbdf pushed by hendriktews
March 23, 2024 21:03 10m 51s master
master
March 23, 2024 21:03 10m 51s
ci: fix goals present tests (commit a6bd8185) Documentation #54: Commit 01ea35f pushed by hendriktews
March 23, 2024 20:59 41s master
master
March 23, 2024 20:59 41s
CI: do not artificially restrict parallel test execution Documentation #53: Commit 728bd25 pushed by hendriktews
March 15, 2024 20:13 15m 4s master
master
March 15, 2024 20:13 15m 4s
CI: test 8.19.1 instead of 8.19.0 Documentation #52: Commit e793ac4 pushed by hendriktews
March 8, 2024 09:49 12m 15s master
master
March 8, 2024 09:49 12m 15s
CHANGES: add entry for 9b38f844df79eaf77a64c82d21cfdc70351ccc03 Documentation #51: Commit a6f8243 pushed by hendriktews
March 6, 2024 20:02 59s master
master
March 6, 2024 20:02 59s
coq-tests: fix error introduced by Cyril Anaclet in 0ae25c5a (#743) Documentation #50: Commit caa100e pushed by erikmd
March 5, 2024 00:03 13m 3s master
master
March 5, 2024 00:03 13m 3s
proof-tree: protect against internal errors Documentation #49: Commit 1f07248 pushed by hendriktews
February 23, 2024 14:05 12m 49s master
master
February 23, 2024 14:05 12m 49s
proof-shell: document call graph Documentation #48: Commit 4814efb pushed by hendriktews
February 19, 2024 13:47 56s master
master
February 19, 2024 13:47 56s
add tests for checking that goals are correctly shown Documentation #47: Commit a6bd818 pushed by hendriktews
February 18, 2024 09:46 11m 33s master
master
February 18, 2024 09:46 11m 33s
coq-par-compile: add user options for extra coqc/coqdep arguments Documentation #46: Commit 9b38f84 pushed by hendriktews
February 18, 2024 09:46 54s master
master
February 18, 2024 09:46 54s
cipg: select only actively supported Emacs versions for Coq rc versions Documentation #45: Commit 4e6e5d9 pushed by hendriktews
February 7, 2024 07:47 47s master
master
February 7, 2024 07:47 47s
CI: test 8.19.0 instead of 8.19+rc1 Documentation #44: Commit a38857a pushed by hendriktews
January 28, 2024 15:33 47s master
master
January 28, 2024 15:33 47s
doc: update documentation for recent omit-proofs changes Documentation #43: Commit c6b7d50 pushed by hendriktews
January 23, 2024 10:14 55s master
master
January 23, 2024 10:14 55s
omit-proofs: handle commands that may have global effects Documentation #42: Commit 85a35ad pushed by hendriktews
January 22, 2024 16:12 48s master
master
January 22, 2024 16:12 48s
simple-tests/omit_test: fix Coq sources for 8.19 Documentation #41: Commit 0d5ae06 pushed by hendriktews
January 22, 2024 08:42 52s master
master
January 22, 2024 08:42 52s
CI: update for Emacs 29.2 Documentation #40: Commit 311a6b7 pushed by hendriktews
January 21, 2024 21:56 12m 59s master
master
January 21, 2024 21:56 12m 59s
CI: add cipg and documentation for it Documentation #39: Commit 8b8e0b1 pushed by hendriktews
January 21, 2024 19:56 48s master
master
January 21, 2024 19:56 48s
Merge pull request #717 from ayanamists/master Documentation #38: Commit 35d5efa pushed by Matafou
January 19, 2024 13:34 56s master
master
January 19, 2024 13:34 56s
texinfo manuals: fix obsolete @inforef Documentation #37: Commit 43285bd pushed by hendriktews
January 17, 2024 21:04 47s master
master
January 17, 2024 21:04 47s
fix: remove executable rights from .el files (#726) Documentation #36: Commit 7873db1 pushed by erikmd
January 16, 2024 23:33 12m 26s master
master
January 16, 2024 23:33 12m 26s
coq-par-compile: support coqdep warnings from 8.19 onwards Documentation #35: Commit 19ca6e0 pushed by hendriktews
January 7, 2024 21:49 1m 11s master
master
January 7, 2024 21:49 1m 11s