:wrench: Add (linux) release action

diff --git a/.github/workflows/linux-release.yml b/.github/workflows/linux-release.yml
new file mode 100644 (file)
index 0000000..907dd63
--- /dev/null
+++ b/.github/workflows/linux-release.yml
@@ -0,0 +1,28 @@
+name: Linux
+
+on:
+  push:
+    branches:    
+    - '**'
+    - '!gh-pages'
+
+jobs:
+  build:
+    name: \[ Linux \] ${{ matrix.double && 'double' || 'float '}} (${{ matrix.cc }})
+    runs-on: ubuntu-latest
+    if: "!contains(github.event.head_commit.message, '[skip ci]')"
+    strategy:
+
+    steps:
+
+    - name: clone Gwion
+    - uses: actions/checkout@v2
+
+    - name: SubModules
+      run: git submodule update --init util ast
+
+    - name: Build
+      run: make
+      env:
+        USE_LTO: 1 
+