chore: Cleanup menu and Makefile

- Fix highlighted menu in installation page - Remove unused variable from Makefile
MontealegreLuis · Aug 25, 2021 · 152faa6 · 152faa6
1 parent cb22234
commit 152faa6
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 4 deletions.
diff --git a/.scrutinizer.yml b/.scrutinizer.yml
@@ -20,5 +20,4 @@ build:
 
 tools:
     external_code_coverage:
-        timeout: 600
-        runs: 3
+        timeout: 1200
diff --git a/Makefile b/Makefile
@@ -1,7 +1,6 @@
 SHELL = /bin/bash
 
 ARGS=""
-INFECTION_BADGE_API_KEY=""
 
 .PHONY: help
 help: ## Show help

diff --git a/docs/installation.md b/docs/installation.md
@@ -1,5 +1,5 @@
 ---
-currentMenu: index
+currentMenu: installation
 ---
 
 # Installation