Skip to content

Actions: ProofGeneral/PG

Actions

Documentation

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Guarded highlight Guarded command (since Coq 8.16) (#804) Documentation #84: Commit d668946 pushed by erikmd
November 26, 2024 00:32 20m 36s master
master
November 26, 2024 00:32 20m 36s
Merge pull request #799 from hendriktews/loc-par Documentation #83: Commit 8401163 pushed by hendriktews
November 21, 2024 17:56 1m 2s master
master
November 21, 2024 17:56 1m 2s
Merge pull request #792 from hendriktews/del-cont Documentation #82: Commit b30d65d pushed by hendriktews
October 4, 2024 11:37 19m 42s master
master
October 4, 2024 11:37 19m 42s
Merge pull request #785 from hendriktews/paren Documentation #81: Commit 1ffca70 pushed by hendriktews
September 12, 2024 15:58 18m 44s master
master
September 12, 2024 15:58 18m 44s
Merge pull request #787 from hendriktews/8.20 Documentation #80: Commit 5e14b97 pushed by hendriktews
September 9, 2024 14:09 1m 13s master
master
September 9, 2024 14:09 1m 13s
Merge pull request #741 from hoheinzollern/patch-1 Documentation #79: Commit 3a99da2 pushed by Matafou
September 5, 2024 11:05 48m 38s master
master
September 5, 2024 11:05 48m 38s
Merge pull request #776 from jgarte/jgarte-patch-1 Documentation #78: Commit 734bcdb pushed by Matafou
September 5, 2024 10:34 11m 58s master
master
September 5, 2024 10:34 11m 58s
Merge pull request #783 from ruipedro16/add-ecall-keyword Documentation #77: Commit 1b89aa3 pushed by Matafou
September 5, 2024 10:34 38m 29s master
master
September 5, 2024 10:34 38m 29s
Merge pull request #784 from Columbus240/CoqProject Documentation #76: Commit 11dcebe pushed by Matafou
September 5, 2024 10:34 18m 46s master
master
September 5, 2024 10:34 18m 46s
Merge pull request #782 from Matafou/fix-no-strip-newlines Documentation #75: Commit 067bffa pushed by Matafou
September 5, 2024 10:31 21m 0s master
master
September 5, 2024 10:31 21m 0s
Merge pull request #778 from hendriktews/ci-rc Documentation #74: Commit c3e6c39 pushed by hendriktews
September 2, 2024 11:22 58s master
master
September 2, 2024 11:22 58s
Merge pull request #780 from Matafou/fix-779-regression-cannot-step-F… Documentation #73: Commit eca47ea pushed by Matafou
July 8, 2024 15:25 4m 27s master
master
July 8, 2024 15:25 4m 27s
Merge pull request #777 from hendriktews/ci-update Documentation #72: Commit 837f587 pushed by hendriktews
July 6, 2024 17:33 1m 3s master
master
July 6, 2024 17:33 1m 3s
fix(coq.el): (setq proof-shell-strip-crs-from-input nil) (#774) Documentation #71: Commit 99f91e8 pushed by erikmd
June 19, 2024 12:10 54s master
master
June 19, 2024 12:10 54s
proof-stat: admitted proofs count as failing Documentation #70: Commit 0e0170f pushed by hendriktews
June 19, 2024 08:41 52s master
master
June 19, 2024 08:41 52s
Merge pull request #768 from Matafou/splash-time Documentation #69: Commit b9fdbbf pushed by Matafou
June 15, 2024 15:46 52s master
master
June 15, 2024 15:46 52s
proof-stat: add test for proof-check-annotate Documentation #68: Commit cb23709 pushed by hendriktews
May 13, 2024 07:20 50s master
master
May 13, 2024 07:20 50s
CI: update CI config to include Emacs 29.3 Documentation #67: Commit 1adcaaf pushed by hendriktews
May 2, 2024 07:46 52s master
master
May 2, 2024 07:46 52s
update Coq ignored extensions and add dired-x compatibility Documentation #66: Commit afae495 pushed by hendriktews
April 29, 2024 14:11 54s master
master
April 29, 2024 14:11 54s
proof-stat: address review comments Documentation #65: Commit 6cace58 pushed by hendriktews
April 25, 2024 09:39 45s master
master
April 25, 2024 09:39 45s
ignore 3-pane mode if frame is too small Documentation #64: Commit 1f0c757 pushed by hendriktews
April 25, 2024 07:57 52s master
master
April 25, 2024 07:57 52s
proof-shell, pg-response: indentation fixes Documentation #63: Commit 7a28fa2 pushed by hendriktews
April 20, 2024 12:54 9m 58s master
master
April 20, 2024 12:54 9m 58s
CI: extend goals present tests with Search and Check commdands Documentation #62: Commit d30569d pushed by hendriktews
April 18, 2024 09:06 48s master
master
April 18, 2024 09:06 48s
coq: clear goals buffer after admitted Documentation #61: Commit 1a37480 pushed by hendriktews
April 6, 2024 17:07 2m 54s master
master
April 6, 2024 17:07 2m 54s
CI: fix workflow problem in cipg and sync currently used containers Documentation #60: Commit 1566fd8 pushed by hendriktews
March 31, 2024 19:08 24m 32s master
master
March 31, 2024 19:08 24m 32s