Skip to content

Actions: ProofGeneral/PG

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
272 workflow runs
272 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
proof-stat: add test for proof-check-annotate CI #690: Commit cb23709 pushed by hendriktews
May 13, 2024 07:20 16m 33s master
master
May 13, 2024 07:20 16m 33s
Coq: run silently and explicitly Show when necessary - second attempt CI #689: Pull request #762 synchronize by hendriktews
May 12, 2024 13:37 16m 49s hendriktews:silent-2
hendriktews:silent-2
May 12, 2024 13:37 16m 49s
proof-stat: minor corrections + new feature to mark failing proofs in the sources CI #688: Pull request #765 synchronize by hendriktews
May 12, 2024 08:45 17m 3s hendriktews:proof-stat
hendriktews:proof-stat
May 12, 2024 08:45 17m 3s
Reduce splash time to 1s. CI #687: Pull request #768 opened by Matafou
May 5, 2024 16:17 16m 57s Matafou:splash-time
Matafou:splash-time
May 5, 2024 16:17 16m 57s
proof-stat: minor corrections + new feature to mark failing proofs in the sources CI #686: Pull request #765 synchronize by hendriktews
May 2, 2024 07:53 26m 58s hendriktews:proof-stat
hendriktews:proof-stat
May 2, 2024 07:53 26m 58s
CI: update CI config to include Emacs 29.3 CI #685: Commit 1adcaaf pushed by hendriktews
May 2, 2024 07:46 17m 8s master
master
May 2, 2024 07:46 17m 8s
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
proof-stat: minor corrections + new feature to mark failing proofs in the sources CI #684: Pull request #765 synchronize by hendriktews
April 30, 2024 20:49 16m 11s hendriktews:proof-stat
hendriktews:proof-stat
April 30, 2024 20:49 16m 11s
DONT MERGE - test strange CI behavior CI #683: Pull request #767 synchronize by hendriktews
April 30, 2024 20:11 2m 11s hendriktews:git-diff
hendriktews:git-diff
April 30, 2024 20:11 2m 11s
DONT MERGE - test strange CI behavior CI #682: Pull request #767 synchronize by hendriktews
April 30, 2024 20:08 2m 9s hendriktews:git-diff
hendriktews:git-diff
April 30, 2024 20:08 2m 9s
DONT MERGE - test strange CI behavior CI #681: Pull request #767 synchronize by hendriktews
April 30, 2024 20:02 2m 12s hendriktews:git-diff
hendriktews:git-diff
April 30, 2024 20:02 2m 12s
DONT MERGE - test strange CI behavior CI #680: Pull request #767 opened by hendriktews
April 30, 2024 19:54 2m 6s hendriktews:git-diff
hendriktews:git-diff
April 30, 2024 19:54 2m 6s
proof-stat: minor corrections + new feature to mark failing proofs in the sources CI #679: Pull request #765 synchronize by hendriktews
April 29, 2024 15:24 16m 18s hendriktews:proof-stat
hendriktews:proof-stat
April 29, 2024 15:24 16m 18s
CI: update CI config to include Emacs 29.3 CI #678: Pull request #766 opened by hendriktews
April 29, 2024 15:22 16m 30s hendriktews:ci-emacs-29-3
hendriktews:ci-emacs-29-3
April 29, 2024 15:22 16m 30s
proof-stat: minor corrections + new feature to mark failing proofs in the sources CI #677: Pull request #765 synchronize by hendriktews
April 29, 2024 14:14 29m 6s hendriktews:proof-stat
hendriktews:proof-stat
April 29, 2024 14:14 29m 6s
update Coq ignored extensions and add dired-x compatibility CI #676: Commit afae495 pushed by hendriktews
April 29, 2024 14:11 16m 1s master
master
April 29, 2024 14:11 16m 1s
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: minor corrections + new feature to mark failing proofs in the sources CI #675: Pull request #765 opened by hendriktews
April 26, 2024 15:51 16m 4s hendriktews:proof-stat
hendriktews:proof-stat
April 26, 2024 15:51 16m 4s
Coq: run silently and explicitly Show when necessary - second attempt CI #674: Pull request #762 synchronize by hendriktews
April 25, 2024 19:47 30m 42s hendriktews:silent-2
hendriktews:silent-2
April 25, 2024 19:47 30m 42s
update Coq ignored extensions and add dired-x compatibility CI #673: Pull request #763 synchronize by hendriktews
April 25, 2024 19:45 16m 11s hendriktews:ext
hendriktews:ext
April 25, 2024 19:45 16m 11s
proof-stat: address review comments CI #672: Commit 6cace58 pushed by hendriktews
April 25, 2024 09:39 16m 35s master
master
April 25, 2024 09:39 16m 35s
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
poor PG man's workaround for coq/coq#11479 CI #671: Pull request #750 synchronize by hendriktews
April 25, 2024 09:19 16m 18s hendriktews:proof-stat
hendriktews:proof-stat
April 25, 2024 09:19 16m 18s
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