aboutsummaryrefslogtreecommitdiff
path: root/aux/ci/ci-build.sh (follow)
Commit message (Expand)AuthorAgeFilesLines
* rm -rf aux/EuAndreh2022-11-141-66/+0
* aux/ci/ci-build.sh: Add quotes around $TLD variableEuAndreh2022-03-251-2/+2
* Use `/opt` over `/srv`EuAndreh2022-03-201-2/+5
* aux/: UpdateEuAndreh2022-03-061-8/+6
* aux/: UpdateEuAndreh2021-09-031-3/+9
* aux/: UpdateEuAndreh2021-07-251-8/+15
* aux/: Update filesEuAndreh2021-06-111-30/+32
* 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-1/+1
* Update files under aux/ci/EuAndreh2021-02-241-1/+1
* aux/ci/ci-build.sh: properly capture stderrEuAndreh2021-02-231-1/+1
* aux/ci/ci-build.sh: Stop checking for ./configure fileEuAndreh2021-02-231-7/+1
* Update ci-build.shEuAndreh2021-02-211-0/+1
* Add aux/ci/report.shEuAndreh2021-02-191-5/+13
* Update aux/ filesEuAndreh2021-02-081-3/+3
* aux/: Update copied filesEuAndreh2021-01-301-1/+1
* mv build-aux/ aux/EuAndreh2021-01-271-0/+53