diff options
Diffstat (limited to 'TODOs.md')
| -rw-r--r-- | TODOs.md | 4 |
1 files changed, 0 insertions, 4 deletions
@@ -451,7 +451,6 @@ optional one. - 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). @@ -463,9 +462,6 @@ For some reason, running them locally with `./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 |