summaryrefslogtreecommitdiff
path: root/.github
AgeCommit message (Expand)Author
2021-12-02Check docs for broken links before uploading (#7729)Gereon Kremer
2021-12-01Use new token for docs-release (#7709)Gereon Kremer
2021-11-30Always run update-pr (#7719)Gereon Kremer
2021-11-25Consolidate CI jobs (#7697)Gereon Kremer
2021-11-24Always enable API black box unit tests (#7696)Andres Noetzli
2021-11-09Clean up ctest configuration and CI test configuration. (#7620)Aina Niemetz
2021-11-06Only run regress0 for static build (#7592)Gereon Kremer
2021-11-04Refactor cmake to build either static or shared (#7534)Gereon Kremer
2021-11-03Enable CI for Junit tests (#7436)mudathirmahgoub
2021-11-01Fix a couple of issues with uploading docs for releases (#7543)Gereon Kremer
2021-10-28Combine `--static` and `--static-binary` (#7520)Gereon Kremer
2021-10-28Build shared and static in CI (#7472)Gereon Kremer
2021-10-27Add documentation on output tags (#7499)Gereon Kremer
2021-10-26Upload docs for tags to docs-releases (#7415)Gereon Kremer
2021-10-21Refactor regressions script (#7249)Andres Noetzli
2021-10-20Fix docs upload (again) (#7435)Gereon Kremer
2021-10-20Fix inadvertent failure of workflow step (#7420)Gereon Kremer
2021-10-15Have docs_upload properly upload tags. (#7352)Gereon Kremer
2021-10-14Also test older cmake versions (#7347)Gereon Kremer
2021-10-11Fix release action.Mathias Preiner
2021-10-11Add CI workflow to test different cmake versions (#7254)Gereon Kremer
2021-10-08Ignore zip files for docs upload diff (#7322)Gereon Kremer
2021-10-08Attach the static binaries to a release (#7324)Gereon Kremer
2021-10-06Enable static builds in CI (#7281)Gereon Kremer
2021-09-02[CI] Add step for running unit/API tests (#7116)Andres Noetzli
2021-09-02Update CI to macOS 11 (#7104)Andres Noetzli
2021-08-30Add API function to obtain information about a single option (#6980)Gereon Kremer
2021-08-26Fix a subtle issues with squashing the docs-ci history (#7075)Gereon Kremer
2021-08-09Support older CMake versions (#7003)Andres Noetzli
2021-08-04Update bug_report.mdAina Niemetz
2021-06-30Use authored date instead of commit date. (#6815)Gereon Kremer
2021-06-19[CI] Build with all available cores (#6768)Andres Noetzli
2021-06-09Make squasing more robust (#6713)Gereon Kremer
2021-06-03[GitHub Actions] Make caching of dependencies depend on image version (#6677)Andres Noetzli
2021-06-02Do manual squash cleanup for docs (#6646)Gereon Kremer
2021-05-27Avoid uploading docs if they did not change (#6621)Gereon Kremer
2021-05-26Reduce size of sphinx-gh output (#6601)Gereon Kremer
2021-05-21Use scikit-build CMake files for pycvc5 (#6543)makaimann
2021-05-20Disable unit testing for clang builds. (#6595)Aina Niemetz
2021-05-14Restrict additional CI jobs (#6539)Gereon Kremer
2021-05-12Move docs upload to a different workflow (#6512)Gereon Kremer
2021-05-07Integrate documentation build with the regular CI workflow (#6490)Gereon Kremer
2021-05-06Update README.md and remove last CVC4 references. (#6497)Mathias Preiner
2021-05-04Use proper commit hash for PRs (#6485)Gereon Kremer
2021-05-03Add missing --auto-download in CI (#6478)Gereon Kremer
2021-05-03Add CI jobs to build docs (#6413)Gereon Kremer
2021-05-03SymFPU: Automatically apply patch from 2020-11-14. (#6471)Aina Niemetz
2021-04-21Goodbye CVC4, hello cvc5! (#6371)Mathias Preiner
2021-04-16Refactor cmake: auto-download and default-on dependencies (#6355)Gereon Kremer
2021-04-13ci: Use CVC5_REGRESSION_ARGS. (#6347)Mathias Preiner
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback