| Commit message (Collapse) | Author | Files | Lines | ||
|---|---|---|---|---|---|
| 2021-06-07 | Update files under aux/ | EuAndreh | 4 | -75/+80 | |
| 2021-03-23 | aux/ci/ci-build.sh: Run build target before tests, so we have HTML files ↵ | EuAndreh | 1 | -7/+1 | |
| when tests fail | |||||
| 2021-03-10 | Revert change to aux/ci/ci-build.sh | EuAndreh | 1 | -1/+1 | |
| 2021-03-09 | ci-build.sh: Publish CI logs even when "dev-check" fails | EuAndreh | 1 | -1/+1 | |
| 2021-03-06 | ci-build.sh: Also omit output of second rsync | EuAndreh | 1 | -1/+1 | |
| 2021-03-06 | Suppress rsync stderr from CI logs | EuAndreh | 1 | -1/+1 | |
| 2021-03-01 | Update files under aux/ | EuAndreh | 3 | -12/+6 | |
| 2021-02-21 | aux/ci/ci-build.sh: run git annex get | EuAndreh | 1 | -0/+1 | |
| 2021-02-20 | Add aux/ci/report.sh | EuAndreh | 2 | -4/+81 | |
| 2021-02-17 | Update aux/ files | EuAndreh | 1 | -1/+1 | |
| 2021-02-07 | Update aux/ files | EuAndreh | 1 | -3/+3 | |
| 2021-01-30 | Update aux/ci/ files | EuAndreh | 3 | -5/+5 | |
| 2021-01-27 | mv build-aux/ -> aux/ and scripts/ | EuAndreh | 3 | -0/+86 | |
