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

CI: update for Coq 8.19+rc1 CI #536: Pull request #718 opened by hendriktews
December 26, 2023 10:20 21m 0s hendriktews:ci-19-rc
hendriktews:ci-19-rc
December 26, 2023 10:20 21m 0s
Prooftree updates CI #535: Pull request #439 synchronize by hendriktews
December 22, 2023 20:27 15m 51s hendriktews:prooftree-updates
hendriktews:prooftree-updates
December 22, 2023 20:27 15m 51s
ci/doc: document test strategy and the Coq/Emacs release table CI #534: Commit 0d2818c pushed by hendriktews
December 19, 2023 08:28 17m 14s master
master
December 19, 2023 08:28 17m 14s
ci/doc: document test strategy and the Coq/Emacs release table Documentation #32: Commit 0d2818c pushed by hendriktews
December 19, 2023 08:28 1m 13s master
master
December 19, 2023 08:28 1m 13s
Merge pull request #708 from gasche/bad-bounding-indices Documentation #31: Commit 879444c pushed by monnier
November 28, 2023 15:04 59s master
master
November 28, 2023 15:04 59s
Merge pull request #708 from gasche/bad-bounding-indices CI #532: Commit 879444c pushed by monnier
November 28, 2023 15:04 17m 48s master
master
November 28, 2023 15:04 17m 48s
Merge pull request #716 from gasche/silence-line-length-warning CI #531: Commit db2280f pushed by monnier
November 28, 2023 14:53 25m 49s master
master
November 28, 2023 14:53 25m 49s
Merge pull request #716 from gasche/silence-line-length-warning Documentation #30: Commit db2280f pushed by monnier
November 28, 2023 14:53 8m 41s master
master
November 28, 2023 14:53 8m 41s
qrhl-test: check translation of \sub CI #529: Pull request #714 opened by hendriktews
October 31, 2023 20:45 33m 35s hendriktews:qrhl-test
hendriktews:qrhl-test
October 31, 2023 20:45 33m 35s
CI simple-tests: separate github action job for qRHL Documentation #29: Commit 0dd686e pushed by hendriktews
October 31, 2023 20:40 1m 44s master
master
October 31, 2023 20:40 1m 44s
CI simple-tests: separate github action job for qRHL CI #528: Commit 0dd686e pushed by hendriktews
October 31, 2023 20:40 31m 28s master
master
October 31, 2023 20:40 31m 28s
CI simple-tests: separate github action job for qRHL CI #527: Pull request #713 opened by hendriktews
October 31, 2023 10:46 20m 38s hendriktews:qrhl-test
hendriktews:qrhl-test
October 31, 2023 10:46 20m 38s
ci/doc: document test strategy and the Coq/Emacs release table CI #526: Pull request #712 synchronize by hendriktews
October 28, 2023 14:27 19m 4s hendriktews:ci-doc
hendriktews:ci-doc
October 28, 2023 14:27 19m 4s
ci/doc: document test strategy and the Coq/Emacs release table CI #525: Pull request #712 opened by hendriktews
October 28, 2023 13:30 20m 23s hendriktews:ci-doc
hendriktews:ci-doc
October 28, 2023 13:30 20m 23s
DON'T MERGE THIS NONSENSE CHANGE CI #524: Pull request #711 reopened by hendriktews
October 23, 2023 12:25 20m 23s hendriktews:nonsense
hendriktews:nonsense
October 23, 2023 12:25 20m 23s
DON'T MERGE THIS NONSENSE CHANGE CI #523: Pull request #711 opened by hendriktews
October 12, 2023 15:11 19m 42s hendriktews:nonsense
hendriktews:nonsense
October 12, 2023 15:11 19m 42s
CI: changes for the new CI strategy Documentation #28: Commit aaad87d pushed by hendriktews
October 5, 2023 16:45 1m 29s master
master
October 5, 2023 16:45 1m 29s
CI: changes for the new CI strategy CI #522: Commit aaad87d pushed by hendriktews
October 5, 2023 16:45 19m 23s master
master
October 5, 2023 16:45 19m 23s
New testing CI #520: Pull request #706 opened by hendriktews
September 30, 2023 17:12 19m 13s hendriktews:new-testing
hendriktews:new-testing
September 30, 2023 17:12 19m 13s
CI: add Emacs 29.1 and Coq 8.18-rc1 in CI CI #519: Pull request #703 synchronize by hendriktews
August 31, 2023 17:15 32m 54s hendriktews:rc-18-testing
hendriktews:rc-18-testing
August 31, 2023 17:15 32m 54s
ci/coq-tests: expect 060_coq-test-wholefile to pass for 8.18 CI #518: Pull request #705 opened by hendriktews
August 31, 2023 16:43 31m 3s hendriktews:test-for-8-18
hendriktews:test-for-8-18
August 31, 2023 16:43 31m 3s
CI: add Emacs 29.1 and Coq 8.18-rc1 in CI CI #517: Pull request #703 opened by hendriktews
August 9, 2023 16:37 29m 19s hendriktews:rc-18-testing
hendriktews:rc-18-testing
August 9, 2023 16:37 29m 19s
ProTip! You can narrow down the results and go further in time using created:<2023-08-09 or the other filters available.