aboutsummaryrefslogtreecommitdiff
path: root/.github/workflows/test.yml
AgeCommit message (Expand)Author
2021-02-27Merge pull request #553 from ProofGeneral/test-emacsenErik Martin-Dorel
2021-02-25test: Add Emacs 27.1 & Remove Emacs 24.3, 24.4 CI testsErik Martin-Dorel
2021-02-22protect uses of coq-callcoqHendrik Tews
2021-02-13new github action for make magicHendrik Tews
2020-12-19ensure vo compilation for tests, increase parallelism, more config outputHendrik Tews
2020-12-19enable coq background compilation tests in github CIHendrik Tews
2020-05-26[CI] Also run integration tests with Coq 8.9.1 and 8.10.2Erik Martin-Dorel
2020-05-06test: Add CI step to build the docErik Martin-Dorel
2020-05-01fix: add some "sudo chown coq:coq" commandErik Martin-Dorel
2020-05-01test: Add ert-problem-matcher for CI workflowErik Martin-Dorel
2020-04-29ci: Build all branches for nowErik Martin-Dorel
2020-04-27[CI] fail-fast:=falseErik Martin-Dorel
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
2020-04-16feat: Add GitHub-action workflowErik Martin-Dorel
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 12:59:37 +0000