[WIP] ProbBMC Init #4
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # For a quick check-up on dev branch pushes, giving early warning or good news. | |
| name: Early warning on push | |
| on: [push] | |
| jobs: | |
| # Check testing tool suite | |
| testing-tool: | |
| runs-on: ubuntu-20.04 | |
| steps: | |
| - uses: actions/checkout@v2 | |
| - name: Runs testing tool unit test | |
| run: cd regression && python3 testing_tool_test.py | |
| # just run the linux job | |
| build-unix: | |
| uses: ./.github/workflows/build-unix.yml | |
| with: | |
| operating-system: ubuntu-latest | |
| build-flags: '-b Debug' | |
| testing: true |