Skip to content

SMACK CI

SMACK CI #755

Workflow file for this run

# workflow to run SMACK tests
name: SMACK CI
# Controls when the action will run
on:
pull_request:
branches: master
push:
branches: master
schedule:
- cron: 0 0 * * * # run every day at UTC 00:00
jobs:
build:
runs-on: ubuntu-latest
steps:
- name: Check Out Repo
uses: actions/checkout@v2
- name: Docker
run: docker build -t verify-c-common . --file docker/verify-c-common-smack.Dockerfile
- name: Get exclude test
id: exclude_files
run: (test -f ".github/workflows/blacklist.smack.txt" && echo ::set-output name=exclude_files::"($(cut -f 1 ".github/workflows/blacklist.smack.txt" | head -c -1 | tr '\n' '|'))" ) || (echo ::set-output name=exclude_files::" ")
- name: Get number of Cores
id: cores
run: echo "::set-output name=num_cores::$(nproc --all)"
- name: Run Tests
run: docker run -t verify-c-common /bin/bash -c "source /home/usea/smack-toolchain/smack.environment && cd build && ctest -j ${{steps.cores.outputs.num_cores}} -R smack_ --output-on-failure --timeout 2000 -E \"${{ steps.exclude_files.outputs.exclude_files }}\""