diff options
-rw-r--r-- | TODOs.md | 11 |
1 files changed, 10 insertions, 1 deletions
@@ -1,12 +1,21 @@ # Tasks -## TODO Fix tests in CI {#task-1e18a7cc-1055-bd09-3060-c03292ba583b} +## DONE Fix tests in CI {#task-1e18a7cc-1055-bd09-3060-c03292ba583b} +- DONE in 2021-06-12 + + There was a test that was too brittle, and it was removed. See [CI logs before] and [CI logs after]. + + Done in + [`cd7bd39b1b6ce7d958f48d63b42ba3ab5fdf6f21`](https://git.euandreh.xyz/git-permalink/commit/?id=cd7bd39b1b6ce7d958f48d63b42ba3ab5fdf6f21). - TODO in 2021-06-12 --- For some reason, running them locally witn `./aux/guix/with-container.sh 'make clean public dev-check'` passes, but the same command doesn't on CI. +[CI logs before]: https://euandreh.xyz/git-permalink/ci-logs/2021-06-12T22:51:21+00:00-07a75e37a4564ed13bc2f50ab84009df137bc223.log +[CI logs after]: https://euandreh.xyz/git-permalink/ci-logs/2021-06-12T23:15:22+00:00-cd7bd39b1b6ce7d958f48d63b42ba3ab5fdf6f21.log + ## DONE Support override via git config {#task-7695d33d-e96e-d313-b74b-860addde01c3} - DONE in 2021-06-12 |