aboutsummaryrefslogtreecommitdiff
path: root/aux/ci/git-post-receive.sh (follow)
Commit message (Expand)AuthorAgeFilesLines
* aux/ci/git-post-receive.sh: Do not allow CI report to failEuAndreh2023-04-011-1/+1
* Revamp CI: simpler variant of the same functionalityEuAndreh2023-04-011-14/+178
* aux/: UpdateEuAndreh2021-09-011-2/+3
* aux/: UpdateEuAndreh2021-07-231-1/+8
* Makefile, README.md: Adapt to changes in aux/EuAndreh2021-06-261-3/+3
* aux/: Use tabs over spaces for .sh filesEuAndreh2021-06-061-5/+5
* Update files under aux/ci/EuAndreh2021-02-251-2/+2
* aux/ci/: Use /srv over /data pathEuAndreh2021-01-301-2/+2
* mv build-aux/ aux/EuAndreh2021-01-271-0/+14