Skip to content

Actions: ProofGeneral/PG

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
214 workflow runs
214 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
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
ignore 3-pane mode if frame is too small CI #670: Commit 1f0c757 pushed by hendriktews
April 25, 2024 07:57 16m 36s master
master
April 25, 2024 07:57 16m 36s
Coq: run silently and explicitly Show when necessary - second attempt CI #669: Pull request #762 synchronize by hendriktews
April 22, 2024 09:17 15m 45s hendriktews:silent-2
hendriktews:silent-2
April 22, 2024 09:17 15m 45s
Coq: run silently and explicitly Show when necessary - second attempt CI #668: Pull request #762 synchronize by hendriktews
April 21, 2024 16:55 16m 37s hendriktews:silent-2
hendriktews:silent-2
April 21, 2024 16:55 16m 37s
update Coq ignored extensions and add dired-x compatibility CI #667: Pull request #763 opened by hendriktews
April 21, 2024 09:51 16m 8s hendriktews:ext
hendriktews:ext
April 21, 2024 09:51 16m 8s
poor PG man's workaround for coq/coq#11479 CI #666: Pull request #750 synchronize by hendriktews
April 20, 2024 13:04 37m 50s hendriktews:proof-stat
hendriktews:proof-stat
April 20, 2024 13:04 37m 50s
fix 3-pane mode for small frame heights CI #665: Pull request #761 synchronize by hendriktews
April 20, 2024 13:01 25m 23s hendriktews:three
hendriktews:three
April 20, 2024 13:01 25m 23s
proof-shell, pg-response: indentation fixes CI #664: Commit 7a28fa2 pushed by hendriktews
April 20, 2024 12:54 16m 29s master
master
April 20, 2024 12:54 16m 29s
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