[#95] Fix README, add newline at end of file

5afe · Sep 18, 2023 · 3b8b335 · 3b8b335
1 parent 14ae100
commit 3b8b335
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 4 deletions.
diff --git a/.github/workflows/certora.yml b/.github/workflows/certora.yml
@@ -46,4 +46,4 @@ jobs:
                   chmod +x ./certora/scripts/${{ matrix.rule }}
                   ./certora/scripts/${{ matrix.rule }}
               env:
-                  CERTORAKEY: ${{ secrets.CERTORA_KEY }}
+                  CERTORAKEY: ${{ secrets.CERTORA_KEY }}
diff --git a/README.md b/README.md
@@ -114,13 +114,13 @@ yarn
 ### Compile
 
 ```bash
-npx hardhat compile
+yarn hardhat compile
 ```
 
 ### Test
 
 ```bash
-npx hardhat test
+yarn hardhat test
 ```
 
 ### Deploy

diff --git a/certora/specs/Manager.spec b/certora/specs/Manager.spec
@@ -16,4 +16,4 @@ rule onlyOwnerCanSetRegistry (method f) filtered {
 
     assert ownerBefore == ownerAfter;
 
-}
+}
Original file line number	Diff line number	Diff line change
Expand Up		@@ -16,4 +16,4 @@ rule onlyOwnerCanSetRegistry (method f) filtered {

		assert ownerBefore == ownerAfter;

		}
		}