diff options
| author | EuAndreh <eu@euandre.org> | 2021-07-23 15:29:19 -0300 |
|---|---|---|
| committer | EuAndreh <eu@euandre.org> | 2021-07-23 15:29:19 -0300 |
| commit | c1f45b52704f89594931b357ea3ef86d9d9608f1 (patch) | |
| tree | 6401a5a3898c94d0bab9fe59f9bb70f857880dbf /TODOs.md | |
| parent | Use tar.xz over tar.gz (diff) | |
| download | git-permalink-c1f45b52704f89594931b357ea3ef86d9d9608f1.tar.gz git-permalink-c1f45b52704f89594931b357ea3ef86d9d9608f1.tar.xz | |
TODOs.md: Remove reference to CI logs in #task-1e18a7cc-1055-bd09-3060-c03292ba583b
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 |