Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | aux/ci/: Add | EuAndreh | 2022-04-13 | 4 | -0/+219 |
* | Remove CI files under aux/: remove website from CI...Since I'm already only publishing from my local machine. | EuAndreh | 2021-06-07 | 4 | -157/+0 |
* | Update files under aux/ | EuAndreh | 2021-06-07 | 4 | -81/+86 |
* | aux/ci/ci-build.sh: Run build target before tests, so we have HTML files when... | EuAndreh | 2021-03-23 | 1 | -7/+1 |
* | 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-03-01 | 3 | -12/+6 |
* | aux/ci/ci-build.sh: run git annex get | EuAndreh | 2021-02-21 | 1 | -0/+1 |
* | Add aux/ci/report.sh | EuAndreh | 2021-02-20 | 2 | -4/+81 |
* | Update aux/ files | EuAndreh | 2021-02-17 | 1 | -1/+1 |
* | Update aux/ files | EuAndreh | 2021-02-07 | 1 | -3/+3 |
* | Update aux/ci/ files | EuAndreh | 2021-01-30 | 3 | -5/+5 |
* | mv build-aux/ -> aux/ and scripts/ | EuAndreh | 2021-01-27 | 3 | -0/+86 |