Skip to content

Merge pull request #520 from AbsInt/value-analysis-IU #21

Merge pull request #520 from AbsInt/value-analysis-IU

Merge pull request #520 from AbsInt/value-analysis-IU #21

Workflow file for this run

name: Oldest
on:
push:
branches:
- 'master'
workflow_dispatch:
jobs:
oldest:
runs-on: ubuntu-latest
strategy:
matrix:
target: [aarch64, arm, ppc, riscv, x86_32, x86_64]
env:
target: ${{ matrix.target }}
os: linux
jobs: 4
opamroot: /home/coq/.opam
configopts: -ignore-coq-version
container:
image: coqorg/coq:8.12
options: --user root
steps:
- name: Checkout
uses: actions/checkout@v4
with:
submodules: true
- name: OPAM dependencies
run: tools/runner.sh opam_install menhir=20200624
- name: Configure
run: tools/runner.sh configure
- name: Build
run: tools/runner.sh build_ccomp