projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9c9c909) | patch
Add CI workflow to test different cmake versions (#7254)
authorGereon Kremer <nafur42@gmail.com>
Mon, 11 Oct 2021 16:31:21 +0000 (09:31 -0700)
committerGitHub <noreply@github.com>
Mon, 11 Oct 2021 16:31:21 +0000 (16:31 +0000)
commit0ddbf090c7f7f33ce724df456daecf84d807e793
tree522cc84a63e2b1eb180abb569e2cdb9c9b392ffdtree
parent9c9c909d8815c8026b6aaa1da259672aa96d193ecommit | diff
Add CI workflow to test different cmake versions (#7254)

This refactors the CI setup by moving parts of the CI workflow into new composite actions. This allows to reuse this parts in a new workflow that tests against many different cmake versions. It is mostly useful after modifying our cmake setup to check compatibility with older cmake versions.
The workflow is not triggered automatically, but can be started manually.
.github/actions/build-documentation/action.yml [new file with mode: 0644] blob
.github/actions/install-dependencies/action.yml [new file with mode: 0644] blob
.github/actions/run-tests/action.yml [new file with mode: 0644] blob
.github/actions/setup-cache/action.yml [new file with mode: 0644] blob
.github/workflows/ci.yml diff | blob | history
.github/workflows/cmake-version.yml [new file with mode: 0644] blob
CMakeLists.txt diff | blob | history
docs/api/java/CMakeLists.txt diff | blob | history