diff --git a/.github/workflows/check-diversity.yml b/.github/workflows/check-diversity.yml new file mode 100644 index 00000000..59bd64c0 --- /dev/null +++ b/.github/workflows/check-diversity.yml @@ -0,0 +1,23 @@ +name: Check diversity configurations + +on: [push] + +jobs: + Linux: + + runs-on: ubuntu-20.04 + + steps: + - name: Install Packages + run: sudo apt-get install zlib1g-dev make cmake picosat + + - uses: actions/checkout@v1 + + - name: run CI script + env: + RUNDIVERSIFY: 1 + RUNFUZZ: 0 + RUNSTAREXEC: 0 + RUNIPASIR: 0 + RUNOPENWBO: 0 + run: ./tools/ci.sh