restore CIs

.github/workflows/linux.yml

@@ -10,7 +10,7 @@ on:
 
 jobs:
  build-gcc7:
- runs-on: ubuntu-latest
+ runs-on: ubuntu-18.04
  name: GNU GCC 7
 
  steps:
@@ -26,10 +26,10 @@ jobs:
  - name: Run tests
  run: |
  cd build
- ./test/run_tests "[abstract_mig]"
- build-gcc8:
+ ./test/run_tests "~[quality]"
+ build-gcc9:
  runs-on: ubuntu-latest
- name: GNU GCC 8
+ name: GNU GCC 9
 
  steps:
  - uses: actions/checkout@v1
@@ -39,15 +39,15 @@ jobs:
  run: |
  mkdir build
  cd build
- cmake -DCMAKE_CXX_COMPILER=g++-8 -DMOCKTURTLE_TEST=ON ..
+ cmake -DCMAKE_CXX_COMPILER=g++-9 -DMOCKTURTLE_TEST=ON ..
  make run_tests
  - name: Run tests
  run: |
  cd build
- ./test/run_tests "[abstract_mig]"
- build-gcc9:
+ ./test/run_tests "~[quality]"
+ build-gcc10:
  runs-on: ubuntu-latest
- name: GNU GCC 9
+ name: GNU GCC 10
 
  steps:
  - uses: actions/checkout@v1
@@ -57,16 +57,16 @@ jobs:
  run: |
  mkdir build
  cd build
- cmake -DCMAKE_CXX_COMPILER=g++-9 -DMOCKTURTLE_TEST=ON ..
+ cmake -DCMAKE_CXX_COMPILER=g++-10 -DMOCKTURTLE_TEST=ON ..
  make run_tests
  - name: Run tests
  run: |
  cd build
- ./test/run_tests "[abstract_mig]"
- build-clang8:
+ ./test/run_tests "~[quality]"
+ build-gcc10-cpp20:
  runs-on: ubuntu-latest
- name: Clang 8
- 
+ name: GNU GCC 10 (c++20)
+
  steps:
  - uses: actions/checkout@v1
  with:
@@ -75,15 +75,15 @@ jobs:
  run: |
  mkdir build
  cd build
- cmake -DCMAKE_CXX_COMPILER=clang++-8 -DMOCKTURTLE_TEST=ON ..
+ cmake -DMOCKTURTLE_CXX_STANDARD=20 -DCMAKE_CXX_COMPILER=g++-10 -DMOCKTURTLE_TEST=ON ..
  make run_tests
  - name: Run tests
  run: |
  cd build
- ./test/run_tests "[abstract_mig]"
- build-clang9:
+ ./test/run_tests "~[quality]"
+ build-clang11:
  runs-on: ubuntu-latest
- name: Clang 9
+ name: Clang 11
 
  steps:
  - uses: actions/checkout@v1
@@ -93,9 +93,9 @@ jobs:
  run: |
  mkdir build
  cd build
- cmake -DCMAKE_CXX_COMPILER=clang++-9 -DMOCKTURTLE_TEST=ON ..
+ cmake -DCMAKE_CXX_COMPILER=clang++-11 -DMOCKTURTLE_TEST=ON ..
  make run_tests
  - name: Run tests
  run: |
  cd build
- ./test/run_tests "[abstract_mig]"
+ ./test/run_tests "~[quality]"

.github/workflows/macos.yml

@@ -9,8 +9,8 @@ on:
  - master
 
 jobs:
- build-gcc8:
- name: GNU GCC 8
+ build-gcc9:
+ name: GNU GCC 9
  runs-on: macOS-latest
 
  steps:
@@ -21,14 +21,14 @@ jobs:
  run: |
  mkdir build
  cd build
- cmake -DCMAKE_CXX_COMPILER=/usr/local/opt/gcc@8/bin/g++-8 -DMOCKTURTLE_TEST=ON ..
+ cmake -DCMAKE_CXX_COMPILER=/usr/local/opt/gcc@9/bin/g++-9 -DMOCKTURTLE_TEST=ON ..
  make run_tests
  - name: Run tests
  run: |
  cd build
- ./test/run_tests "[abstract_mig]"
- build-gcc9:
- name: GNU GCC 9
+ ./test/run_tests "~[quality]"
+ build-gcc10:
+ name: GNU GCC 10
  runs-on: macOS-latest
 
  steps:
@@ -39,14 +39,14 @@ jobs:
  run: |
  mkdir build
  cd build
- cmake -DCMAKE_CXX_COMPILER=/usr/local/opt/gcc@9/bin/g++-9 -DMOCKTURTLE_TEST=ON ..
+ cmake -DCMAKE_CXX_COMPILER=/usr/local/opt/gcc@10/bin/g++-10 -DMOCKTURTLE_TEST=ON ..
  make run_tests
  - name: Run tests
  run: |
  cd build
- ./test/run_tests "[abstract_mig]"
- build-clang9:
- name: Clang 9
+ ./test/run_tests "~[quality]"
+ build-clang:
+ name: Clang 12
  runs-on: macOS-latest
 
  steps:
@@ -62,4 +62,4 @@ jobs:
  - name: Run tests
  run: |
  cd build
- ./test/run_tests "[abstract_mig]"
+ ./test/run_tests "~[quality]"

.github/workflows/windows.yml

@@ -24,10 +24,10 @@ jobs:
  working-directory: ./build
  - name: Build mockturtle
  run: |
- "C:\Program Files (x86)\Microsoft Visual Studio\2019\Enterprise\MSBuild\Current\Bin\MSBuild.exe" mockturtle.sln /t:run_tests
+ "C:\Program Files (x86)\Microsoft Visual Studio\2019\Enterprise\MSBuild\Current\Bin\MSBuild.exe" mockturtle.sln
  working-directory: ./build
  shell: cmd
  - name: Run tests
  run: |
  cd build
- .\test\Debug\run_tests "[abstract_mig]"
+ .\test\Debug\run_tests "~[quality]"