aboutsummaryrefslogtreecommitdiff
path: root/.github
AgeCommit message (Collapse)Author
2021-02-27Merge pull request #553 from ProofGeneral/test-emacsenErik Martin-Dorel
test: Add Emacs 27.1 in CI & Bump the minimal-required version of Emacs (24.5 for now)
2021-02-25test: Add Emacs 27.1 & Remove Emacs 24.3, 24.4 CI testsErik Martin-Dorel
* Document (in README.md) the proposed policy: supporting Emacsen from the versions packaged in Debian Stable / Ubuntu LTS until their EOS.
2021-02-22protect uses of coq-callcoqHendrik Tews
Uses of coq-callcoq need to correctly handle nil as result for the case that coq-callcoq fails. Additionally, add a regression test. Fixes #551
2021-02-13new github action for make magicHendrik Tews
This action checks that - make -C doc magic works - the manual is currently up-to-date The second check fails when somebody changes variable or function documentation of something that appears in one of the manuals without updating the manuals at the same time. Further, it fails when emacs changes such that the function `texi-docstring-magic' produces different output.
2020-12-19ensure vo compilation for tests, increase parallelism, more config outputHendrik Tews
2020-12-19enable coq background compilation tests in github CIHendrik Tews
extend the github workflow to additionally run the tests in ci/compile-tests
2020-05-26[CI] Also run integration tests with Coq 8.9.1 and 8.10.2Erik Martin-Dorel
href: https://github.com/coq-community/docker-coq/wiki#supported-tags
2020-05-06test: Add CI step to build the docErik Martin-Dorel
* Only build the info manual. * Otherwise we would get the following issue: $ texi2pdf PG-adapting.texi You don't have a working TeX binary (tex) installed anywhere in your PATH, and texi2dvi cannot proceed without one. If you want to use this script, you'll need to install TeX (if you don't have it) or change your PATH or TEX environment variable (if you do). See the --help output for more details. For information about obtaining TeX, please see http://tug.org/texlive, Makefile.doc:50: recipe for target 'PG-adapting.pdf' failed or do a web search for TeX and your operating system or distro. On Debian you can install a working TeX system with apt-get install texlive
2020-05-04fix: ert.jsonErik Martin-Dorel
* The zone between "Test ... condition:" & "FAILED ..." can have more than 1 line!
2020-05-01fix: add some "sudo chown coq:coq" commandErik Martin-Dorel
* This should solve the "(buffer-read-only #<buffer test1.v>)" error, probably due to permission issues.
2020-05-01test: Add ert-problem-matcher for CI workflowErik Martin-Dorel
2020-04-29ci: Build all branches for nowErik Martin-Dorel
TODO: revert this commit before creating a Pull Request
2020-04-27[CI] fail-fast:=falseErik Martin-Dorel
href: https://help.github.com/en/actions/reference/workflow-syntax-for-github-actions#jobsjob_idstrategyfail-fast
2020-04-27[CI] Use coq-community/docker-coq-action@v1Erik Martin-Dorel
2020-04-22[CI] Use erikmd/docker-coq-action@masterErik Martin-Dorel
2020-04-21[CI] Tweak max-parallel specErik Martin-Dorel
2020-04-21[CI] Fix on/(push,pull_request) specErik Martin-Dorel
2020-04-21s/4.07-flambda/minimal/Erik Martin-Dorel
2020-04-21fix: Install emacs in the Docker containerErik Martin-Dorel
2020-04-17feat: Update test.yml to trigger integration testsErik Martin-Dorel
* Fix test.sh so it can be run from the parent dir
2020-04-16feat: Add GitHub-action workflowErik Martin-Dorel
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 09:41:25 +0000