aboutsummaryrefslogtreecommitdiff
path: root/aux/ci (follow)
Commit message (Expand)AuthorAgeFilesLines
* aux/: UpdateEuAndreh2022-01-133-32/+48
* aux/: UpdateEuAndreh2021-07-254-15/+27
* aux/: Update, adjust Makefile accordinglyEuAndreh2021-07-042-3/+25
* aux/: UpdateEuAndreh2021-06-244-14/+15
* aux/ci/report.sh: UpdateEuAndreh2021-06-191-1/+4
* 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 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-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 of...EuAndreh2021-02-241-1/+1
* 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
generated by cgit v1.2.3 (git 2.46.2) at 2024-10-30 10:16:55 +0000