Skip to content

Actions: ProofGeneral/PG

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
217 workflow runs
217 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
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
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 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 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