Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | aux/: Update | EuAndreh | 2022-01-13 | 3 | -32/+48 |
| | |||||
* | aux/: Update | EuAndreh | 2021-07-25 | 4 | -15/+27 |
| | |||||
* | aux/: Update, adjust Makefile accordingly | EuAndreh | 2021-07-04 | 2 | -3/+25 |
| | |||||
* | aux/: Update | EuAndreh | 2021-06-24 | 4 | -14/+15 |
| | |||||
* | aux/ci/report.sh: Update | EuAndreh | 2021-06-19 | 1 | -1/+4 |
| | |||||
* | aux/: Update | EuAndreh | 2021-06-16 | 2 | -3/+5 |
| | |||||
* | Update files under aux/ | EuAndreh | 2021-06-11 | 4 | -81/+86 |
| | |||||
* | aux/ci/ci-build.sh: Run build target before tests, so we have HTML files ↵ | EuAndreh | 2021-03-23 | 1 | -7/+1 |
| | | | | when tests fail | ||||
* | Revert change to aux/ci/ci-build.sh | EuAndreh | 2021-03-10 | 1 | -1/+1 |
| | |||||
* | ci-build.sh: Publish CI logs even when "dev-check" fails | EuAndreh | 2021-03-09 | 1 | -1/+1 |
| | |||||
* | ci-build.sh: Also omit output of second rsync | EuAndreh | 2021-03-06 | 1 | -1/+1 |
| | |||||
* | Suppress rsync stderr from CI logs | EuAndreh | 2021-03-06 | 1 | -1/+1 |
| | |||||
* | Update files under aux/ | EuAndreh | 2021-02-28 | 1 | -1/+1 |
| | |||||
* | Update files under aux/ci/ | EuAndreh | 2021-02-25 | 2 | -3/+3 |
| | |||||
* | aux/ci/ci-build.sh: Don't --delete on trap to avoid deleting pages in case ↵ | EuAndreh | 2021-02-24 | 1 | -1/+1 |
| | | | | of failure | ||||
* | aux/ci/ci-build.sh: Capture stderr properly | EuAndreh | 2021-02-23 | 1 | -1/+1 |
| | |||||
* | aux/ci/ci-build.sh: Remove guix describe | EuAndreh | 2021-02-23 | 1 | -1/+0 |
| | |||||
* | aux/ci/ci-build.sh: Fix typo | EuAndreh | 2021-02-23 | 1 | -1/+1 |
| | |||||
* | Update aux/ci/ci-build.sh | EuAndreh | 2021-02-23 | 1 | -7/+2 |
| | |||||
* | Update ci-build.sh | EuAndreh | 2021-02-21 | 1 | -0/+1 |
| | |||||
* | Add aux/ci/report.sh | EuAndreh | 2021-02-18 | 2 | -4/+81 |
| | |||||
* | Update ci-build.sh under aux/ | EuAndreh | 2021-02-13 | 1 | -1/+1 |
| | |||||
* | Add aux/ default files | EuAndreh | 2021-02-08 | 3 | -0/+86 |