From 3fde14b0d323a47be0ea3ac8255b5057afa3229a Mon Sep 17 00:00:00 2001 From: lemastero Date: Sat, 25 Jun 2022 23:06:16 +0200 Subject: [PATCH] fix new lines --- .github/workflows/main.yml | 2 +- .github/workflows/pr.yml | 2 +- Makefile | 2 +- agda-smash.agda-lib | 2 +- flake.nix | 2 +- 5 files changed, 5 insertions(+), 5 deletions(-) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index b878c65..92d0059 100644 --- 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 \ No newline at end of file + run: nix build --verbose --print-build-logs diff --git a/.github/workflows/pr.yml b/.github/workflows/pr.yml index 44db522..c6f5d77 100644 --- 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 \ No newline at end of file + run: nix build --verbose --print-build-logs diff --git a/Makefile b/Makefile index 0ab0fa3..158802d 100644 --- 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 \ No newline at end of file + agda ${RTSARGS} -v profile:7 -v profile.definitions:15 -i. Everything.agda diff --git a/agda-smash.agda-lib b/agda-smash.agda-lib index fe57b9d..589ff75 100644 --- a/agda-smash.agda-lib +++ b/agda-smash.agda-lib @@ -1,3 +1,3 @@ name: agda-smash depend: standard-library -include: src/ \ No newline at end of file +include: src/ diff --git a/flake.nix b/flake.nix index fd1a077..11c1cf9 100644 --- a/flake.nix +++ b/flake.nix @@ -30,4 +30,4 @@ }; } ); -} \ No newline at end of file +}