aboutsummaryrefslogtreecommitdiff
path: root/aux/ci/git-pre-push.sh (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Revamp CI: simpler variant of the same functionalityEuAndreh2023-04-011-22/+0
| | | | | | | | | Notes: See CI logs with: git notes --ref=refs/notes/ci-logs show 1a3208d43f837768e18219ca4e79fe31bf748865 git notes --ref=refs/notes/ci-data show 1a3208d43f837768e18219ca4e79fe31bf748865 Exit status: 2 Duration: 4
* aux/: UpdateEuAndreh2021-09-011-1/+1
|
* aux/: UpdateEuAndreh2021-07-231-1/+2
|
* Makefile, README.md: Adapt to changes in aux/EuAndreh2021-06-261-3/+3
|
* Update files under aux/EuAndreh2021-06-071-4/+6
|
* aux/: Use tabs over spaces for .sh filesEuAndreh2021-06-061-2/+2
|
* Update files under aux/ci/EuAndreh2021-02-251-1/+1
|
* aux/ci/: Use /srv over /data pathEuAndreh2021-01-301-2/+2
|
* mv build-aux/ aux/EuAndreh2021-01-271-0/+19