summaryrefslogtreecommitdiff
path: root/aux/ci/ci-build.sh (unfollow)
Commit message (Collapse)AuthorFilesLines
2022-04-13aux/ci/: AddEuAndreh1-0/+66
2021-06-07Remove CI files under aux/: remove website from CIEuAndreh1-52/+0
Since I'm already only publishing from my local machine.
2021-06-07Update files under aux/EuAndreh1-30/+32
2021-03-23aux/ci/ci-build.sh: Run build target before tests, so we have HTML files ↵EuAndreh1-7/+1
when tests fail
2021-03-10Revert change to aux/ci/ci-build.shEuAndreh1-1/+1
2021-03-09ci-build.sh: Publish CI logs even when "dev-check" failsEuAndreh1-1/+1
2021-03-06ci-build.sh: Also omit output of second rsyncEuAndreh1-1/+1
2021-03-06Suppress rsync stderr from CI logsEuAndreh1-1/+1
2021-03-01Update files under aux/EuAndreh1-9/+3
2021-02-21aux/ci/ci-build.sh: run git annex getEuAndreh1-0/+1
2021-02-20Add aux/ci/report.shEuAndreh1-4/+12
2021-02-17Update aux/ filesEuAndreh1-1/+1
2021-02-07Update aux/ filesEuAndreh1-3/+3
2021-01-30Update aux/ci/ filesEuAndreh1-1/+1
2021-01-27mv build-aux/ -> aux/ and scripts/EuAndreh1-2/+2
2021-01-25Move Guix files under build-aux/guix/EuAndreh1-2/+2
2021-01-23Add default CI infrastructureEuAndreh1-0/+53
generated by cgit v1.3 (git 2.53.0) at 2026-09-04 08:09:30 +0000