fix new lines

lemastero · Jun 25, 2022 · 3fde14b · 3fde14b
1 parent 3184ac1
commit 3fde14b
Show file tree

Hide file tree

Showing 5 changed files with 5 additions and 5 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -16,4 +16,4 @@ jobs:
           name: agda-smash
           authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
       - name: Build
-        run: nix build --verbose --print-build-logs
+        run: nix build --verbose --print-build-logs
diff --git a/.github/workflows/pr.yml b/.github/workflows/pr.yml
@@ -16,4 +16,4 @@ jobs:
           name: agda-smash
           authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
       - name: Build HTML
-        run: nix build --verbose --print-build-logs
+        run: nix build --verbose --print-build-logs
diff --git a/Makefile b/Makefile
@@ -17,4 +17,4 @@ clean:
 	find . -name '*.agdai' -exec rm \{\} \;
 
 profile: Everything.agda
-	agda ${RTSARGS} -v profile:7 -v profile.definitions:15 -i. Everything.agda
+	agda ${RTSARGS} -v profile:7 -v profile.definitions:15 -i. Everything.agda
diff --git a/agda-smash.agda-lib b/agda-smash.agda-lib
@@ -1,3 +1,3 @@
 name: agda-smash
 depend: standard-library
-include: src/
+include: src/
diff --git a/flake.nix b/flake.nix
@@ -30,4 +30,4 @@
         };
       }
     );
-}
+}
-Original file line number
+Diff line change
@@ Expand Up / @@ -30,4 +30,4 @@ @@
             };
           }
         );
-    }
+    }