From: Jérémie Astor <astor.jeremie@wanadoo.fr>
Date: Sat, 8 Aug 2020 13:06:25 +0000 (+0200)
Subject: :wrench: Add (linux) release action
X-Git-Tag: nightly~1394
X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=4b05a0da35a1c1163d5ae89d2148a51133eaebc4;p=gwion.git

:wrench: Add (linux) release action
---

diff --git a/.github/workflows/linux-release.yml b/.github/workflows/linux-release.yml
new file mode 100644
index 00000000..907dd635
--- /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 
+