Fix for interval unification #1306
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
| name: CI Build | |
| on: | |
| schedule: | |
| - cron: "0 3 * * 0" | |
| push: | |
| branches: [ '**' ] | |
| pull_request: | |
| branches: [ '**' ] | |
| env: | |
| HOLBA_OPT_DIR: /home/runner/cache | |
| HOLBA_BOT_GITHUB_TOKEN: 'comment. see scripts/ci/post-comment-on-PR.sh, use github actions secrets' | |
| jobs: | |
| build: | |
| name: Build | |
| runs-on: ${{ matrix.os }} | |
| strategy: | |
| matrix: | |
| os: ['ubuntu-22.04'] | |
| polyml: [{version: 'PREPACKAGED'}, {version: 'v5.9.1', heapless: '1'}] | |
| z3: ['4.13.0'] | |
| hol4: ['trindemossen-1'] | |
| env: | |
| HOLBA_POLYML_VERSION: ${{ matrix.polyml.version }} | |
| HOLBA_POLYML_HEAPLESS: ${{ matrix.polyml.heapless }} | |
| HOLBA_Z3_VERSION: ${{ matrix.z3 }} | |
| HOLBA_Z3_ASSET_SUFFIX: '-x64-glibc-2.35.zip' | |
| HOLBA_HOL4_VERSION: ${{ matrix.hol4 }} | |
| steps: | |
| - name: Checkout code | |
| uses: actions/checkout@v4 | |
| - name: Cache dependencies | |
| id: cache-deps | |
| uses: actions/cache@v2 | |
| with: | |
| path: | | |
| ${{ env.HOLBA_OPT_DIR }} | |
| key: os-${{ matrix.os }}_polyml-${{ matrix.polyml.version }}_z3-${{ matrix.z3 }}_hol4-${{ matrix.hol4 }} | |
| - name: Static analysis | |
| timeout-minutes: 5 | |
| run: | | |
| ./scripts/ci/static-analysis.sh || echo "Static-analysis failed with status $?." | |
| - name: Prepare cached dependencies | |
| timeout-minutes: 35 | |
| run: | | |
| ./scripts/setup/install_base.sh | |
| ./scripts/setup/install_z3.sh | |
| - name: Configure and compile | |
| timeout-minutes: 35 | |
| run: | | |
| ./configure.sh | |
| ./scripts/ci/run_holmake.sh | |
| - name: Run tests | |
| timeout-minutes: 55 | |
| run: | | |
| ./scripts/ci/run_make.sh tests | |