aboutsummaryrefslogtreecommitdiff
path: root/aux/ci (follow)
Commit message (Collapse)AuthorAgeFilesLines
* WIP CIEuAndreh2023-03-312-0/+199
| | | | | | | | | Notes: See CI logs with: git notes --ref=refs/notes/ci-logs show 0bc77c81143b3f4763d7f1034001fa4a9d730347 git notes --ref=refs/notes/ci-data show 0bc77c81143b3f4763d7f1034001fa4a9d730347 Exit status: 0 Duration: 0
* rm -rf aux/ po/EuAndreh2023-03-134-219/+0
|
* aux/: UpdateEuAndreh2022-05-303-6/+9
|
* aux/: UpdateEuAndreh2022-01-231-1/+1
|
* aux/: UpdateEuAndreh2022-01-211-1/+1
|
* aux/: UpdateEuAndreh2022-01-191-0/+3
|
* 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 ↵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