aboutsummaryrefslogtreecommitdiff
path: root/aux/ci (follow)
Commit message (Collapse)AuthorAgeFilesLines
* aux/: UpdateEuAndreh2021-06-162-3/+5
|
* Update files under aux/EuAndreh2021-06-114-81/+86
|
* aux/ci/ci-build.sh: Run build target before tests, so we have HTML files ↵EuAndreh2021-03-231-7/+1
| | | | when tests fail
* 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-02-281-1/+1
|
* Update files under aux/ci/EuAndreh2021-02-252-3/+3
|
* aux/ci/ci-build.sh: Don't --delete on trap to avoid deleting pages in case ↵EuAndreh2021-02-241-1/+1
| | | | of failure
* aux/ci/ci-build.sh: Capture stderr properlyEuAndreh2021-02-231-1/+1
|
* aux/ci/ci-build.sh: Remove guix describeEuAndreh2021-02-231-1/+0
|
* aux/ci/ci-build.sh: Fix typoEuAndreh2021-02-231-1/+1
|
* Update aux/ci/ci-build.shEuAndreh2021-02-231-7/+2
|
* Update ci-build.shEuAndreh2021-02-211-0/+1
|
* Add aux/ci/report.shEuAndreh2021-02-182-4/+81
|
* Update ci-build.sh under aux/EuAndreh2021-02-131-1/+1
|
* Add aux/ default filesEuAndreh2021-02-083-0/+86