formatting
diff --git a/VERIFICATION.md b/VERIFICATION.md index 2717bb5..71900ff 100644 --- a/VERIFICATION.md +++ b/VERIFICATION.md
@@ -6,7 +6,7 @@ See the sections below for details on each type of verification. -# Setup +## Setup You will need the GitHub tokens setup as described in [INFO](INFO.md#instructions-to-build-gds).