From c1f45b52704f89594931b357ea3ef86d9d9608f1 Mon Sep 17 00:00:00 2001 From: EuAndreh Date: Fri, 23 Jul 2021 15:29:19 -0300 Subject: TODOs.md: Remove reference to CI logs in #task-1e18a7cc-1055-bd09-3060-c03292ba583b --- TODOs.md | 4 ---- 1 file changed, 4 deletions(-) diff --git a/TODOs.md b/TODOs.md index 6976618..bbc08f4 100644 --- a/TODOs.md +++ b/TODOs.md @@ -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 -- cgit v1.2.3