| Commit message (Collapse) | Author | Files | Lines | ||
|---|---|---|---|---|---|
| 2024-08-17 | rm -rf aux/ | EuAndreh | 2 | -199/+0 | |
| 2023-03-31 | WIP CI | EuAndreh | 2 | -0/+199 | |
| 2023-03-13 | rm -rf aux/ po/ | EuAndreh | 4 | -219/+0 | |
| 2022-05-30 | aux/: Update | EuAndreh | 3 | -6/+9 | |
| 2022-01-23 | aux/: Update | EuAndreh | 1 | -1/+1 | |
| 2022-01-21 | aux/: Update | EuAndreh | 1 | -1/+1 | |
| 2022-01-19 | aux/: Update | EuAndreh | 1 | -0/+3 | |
| 2022-01-13 | aux/: Update | EuAndreh | 3 | -31/+47 | |
| 2021-07-25 | aux/: Update | EuAndreh | 4 | -15/+27 | |
| 2021-07-04 | aux/: Update, adjust Makefile accordingly | EuAndreh | 2 | -3/+25 | |
| 2021-06-24 | aux/: Update | EuAndreh | 4 | -14/+15 | |
| 2021-06-19 | aux/ci/report.sh: Update | EuAndreh | 1 | -1/+4 | |
| 2021-06-16 | aux/: Update | EuAndreh | 2 | -3/+5 | |
| 2021-06-11 | 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-02-28 | Update files under aux/ | EuAndreh | 1 | -1/+1 | |
| 2021-02-25 | Update files under aux/ci/ | EuAndreh | 2 | -3/+3 | |
| 2021-02-24 | aux/ci/ci-build.sh: Don't --delete on trap to avoid deleting pages in case ↵ | EuAndreh | 1 | -1/+1 | |
| of failure | |||||
| 2021-02-23 | aux/ci/ci-build.sh: Capture stderr properly | EuAndreh | 1 | -1/+1 | |
| 2021-02-23 | aux/ci/ci-build.sh: Remove guix describe | EuAndreh | 1 | -1/+0 | |
| 2021-02-23 | aux/ci/ci-build.sh: Fix typo | EuAndreh | 1 | -1/+1 | |
| 2021-02-23 | Update aux/ci/ci-build.sh | EuAndreh | 1 | -7/+2 | |
| 2021-02-21 | Update ci-build.sh | EuAndreh | 1 | -0/+1 | |
| 2021-02-18 | Add aux/ci/report.sh | EuAndreh | 2 | -4/+81 | |
| 2021-02-13 | Update ci-build.sh under aux/ | EuAndreh | 1 | -1/+1 | |
| 2021-02-08 | Add aux/ default files | EuAndreh | 3 | -0/+86 | |
