From fff59196b0242f14833e3e86ab610cfb4aa23c32 Mon Sep 17 00:00:00 2001 From: Balazs Komuves Date: Fri, 17 May 2024 18:43:53 +0200 Subject: [PATCH] markdown fix --- workflow/README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/workflow/README.md b/workflow/README.md index 82e3843..0e21286 100644 --- a/workflow/README.md +++ b/workflow/README.md @@ -14,7 +14,7 @@ To run the full workflow: NOTE: the examples below assume `bash`. In particular, it won't work with `zsh` (which is the dafault on newer macOS)! Because, you know, reasons... -To have an overview of what all the different steps and files are, see [PROOFS.md]. +To have an overview of what all the different steps and files are, see [PROOFS.md](PROOFS.md). ### Some measurements