]> https://gitweb.dealii.org/ - dealii.git/commitdiff
add linux release build 9848/head
authorTimo Heister <timo.heister@gmail.com>
Tue, 7 Apr 2020 14:36:19 +0000 (10:36 -0400)
committerTimo Heister <timo.heister@gmail.com>
Wed, 8 Apr 2020 02:07:28 +0000 (22:07 -0400)
.github/workflows/main.yml

index 2832ca8e2e015eeb22044a0b9f427f7ee9eeee12..8108f9b9c41fda77c439703a0dcce457e7de4b87 100644 (file)
@@ -3,6 +3,34 @@ name: github-CI
 on: [push, pull_request]
 
 jobs:
+  linux-release-serial:
+    # simple serial release build using g++
+
+    name: linux release serial
+    runs-on: [ubuntu-18.04]
+
+    steps:
+    - uses: actions/checkout@v1
+    - name: setup
+      run: |
+        ./contrib/utilities/download_clang_format
+    - name: info
+      run: |
+        g++ -v
+        cmake --version
+    - name: configure
+      run: |
+        cmake -D CMAKE_BUILD_TYPE=Release -D DEAL_II_CXX_FLAGS='-Werror' .
+    - name: archive
+      uses: actions/upload-artifact@v1
+      with:
+        name: linux-serial-detailed.log
+        path: detailed.log
+    - name: build
+      run: |
+        ./contrib/utilities/check_indentation.sh
+        make -j 2
+
   osx-serial:
     # simple serial build using apple clang
 

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.