aboutsummaryrefslogtreecommitdiff
path: root/aux/ci/ci-build.sh (follow)
Commit message (Expand)AuthorAgeFilesLines
* aux/ci/: AddEuAndreh2022-04-131-0/+66
* Remove CI files under aux/: remove website from CI...Since I'm already only publishing from my local machine. EuAndreh2021-06-071-52/+0
* Update files under aux/EuAndreh2021-06-071-36/+38
* 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-011-9/+3
* aux/ci/ci-build.sh: run git annex getEuAndreh2021-02-211-0/+1
* Add aux/ci/report.shEuAndreh2021-02-201-4/+12
* Update aux/ filesEuAndreh2021-02-171-1/+1
* Update aux/ filesEuAndreh2021-02-071-3/+3
* Update aux/ci/ filesEuAndreh2021-01-301-1/+1
* mv build-aux/ -> aux/ and scripts/EuAndreh2021-01-271-0/+53
generated by cgit v1.2.3 (git 2.46.2) at 2024-11-01 14:26:52 +0000