1 files changed, 20 insertions, 4 deletions
diff --git a/TODOs.md b/TODOs.md
index 575163c..22adbf4 100644
--- a/TODOs.md
+++ b/TODOs.md
@@ -3,10 +3,18 @@
 ## TODO `favicon.{png,svg}` as a symlink instead of a copy {#task-bd6ebb44-a6f7-5e14-39df-64e8e7cfc21e}
 - TODO in 2021-08-17
 
-## TODO Assert `make clean all check install ...` does not depend on `aux/` {#task-079946ed-7e58-3051-78d6-71ba12342aba}
+## DONE Assert `make clean all check install ...` does not depend on `aux/` {#task-079946ed-7e58-3051-78d6-71ba12342aba}
+- DONE in 2021-08-19
+
+  Done in
+  [`e9aff79d8cfe32b74d11162dda58b9ca062e1161`](https://git.euandreh.xyz/git-permalink/commit/?id=e9aff79d8cfe32b74d11162dda58b9ca062e1161).
 - TODO in 2021-08-17
 
-## TODO Improve `installcheck.sh` {#task-4a7e02bd-ab82-c628-fa1c-02749c178936}
+## DONE Improve `installcheck.sh` {#task-4a7e02bd-ab82-c628-fa1c-02749c178936}
+- DONE in 2021-08-19
+
+  Done in
+  [`e9aff79d8cfe32b74d11162dda58b9ca062e1161`](https://git.euandreh.xyz/git-permalink/commit/?id=e9aff79d8cfe32b74d11162dda58b9ca062e1161).
 - TODO in 2021-08-15
 
 ---
@@ -283,10 +291,18 @@ This is the output of inspecting the content of the generated Docker image:
 2,4G	gnu/store/
 ```
 
-## TODO `installcheck.sh`: Run `make all check` in a different directory, without the Git repository {#task-a0644009-70d7-56ff-c595-ea39fe24dc2b}
+## DONE `installcheck.sh`: Run `make all check` in a different directory, without the Git repository {#task-a0644009-70d7-56ff-c595-ea39fe24dc2b}
+- DONE in 2021-08-19
+
+  Done in
+  [`e9aff79d8cfe32b74d11162dda58b9ca062e1161`](https://git.euandreh.xyz/git-permalink/commit/?id=e9aff79d8cfe32b74d11162dda58b9ca062e1161).
 - TODO in 2021-08-06
 
-## TODO Run "check" in `installcheck` target {#task-db34da8d-bf61-43ae-b8f0-f2299834a937}
+## DONE Run "check" in `installcheck` target {#task-db34da8d-bf61-43ae-b8f0-f2299834a937}
+- DONE in 2021-08-19
+
+  Done in
+  [`e9aff79d8cfe32b74d11162dda58b9ca062e1161`](https://git.euandreh.xyz/git-permalink/commit/?id=e9aff79d8cfe32b74d11162dda58b9ca062e1161).
 - TODO in 2021-08-02
 
 ## DONE Build and use Docker images from Guix packs {#task-54ec4fdc-e2e0-32f6-cca3-45f28c8903a2}