From dd4d657304fe600cc9590e46b6e0357c1b9601ec Mon Sep 17 00:00:00 2001
From: Federico Grandi <fgrandi30@gmail.com>
Date: Sat, 14 Dec 2019 23:10:48 +0100
Subject: [PATCH] Back to manual pushing for releases

---
 .github/workflows/build-release.yml | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/.github/workflows/build-release.yml b/.github/workflows/build-release.yml
index 982576d..9040828 100644
--- a/.github/workflows/build-release.yml
+++ b/.github/workflows/build-release.yml
@@ -7,7 +7,7 @@ on:
 jobs:
   build:
     name: Build release version
-    runs-on: windows-latest
+    runs-on: ubuntu-latest
     steps:
       - name: Checkout repository
         uses: actions/checkout@master
@@ -20,9 +20,6 @@ jobs:
       - name: Install dependencies
         run: npm install
 
-      - name: Stage modules
-        run: git add node_modules -f
-
       - name: Compile TypeScript into compressed JavaScript
         run: npm run build