aboutsummaryrefslogtreecommitdiff
path: root/aux/ci (follow)
Commit message (Expand)AuthorAgeFilesLines
* aux/: Update, adjust MakefileEuAndreh2021-07-274-27/+75
* aux/: Update filesEuAndreh2021-06-114-75/+80
* aux/ci/ci-build.sh: Run build target before tests, so we have HTML files when...EuAndreh2021-03-231-7/+1
* Revert change to aux/ci/ci-build.shEuAndreh2021-03-101-1/+1
* ci-build.sh: Publish CI logs even when "dev-check" failsEuAndreh2021-03-091-1/+1
* ci-build.sh: Also omit output of second rsyncEuAndreh2021-03-061-1/+1
* Suppress rsync stderr from CI logsEuAndreh2021-03-061-1/+1
* Update files under aux/EuAndreh2021-03-061-0/+9
* Add base project skeleton filesEuAndreh2021-03-064-0/+149