Add Alpine CI #25
Workflow file for this run
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 (Coq, Alpine) | |
| on: | |
| push: | |
| branches: [ master ] | |
| pull_request: | |
| merge_group: | |
| workflow_dispatch: | |
| release: | |
| types: [published] | |
| schedule: | |
| - cron: '0 0 1 * *' | |
| jobs: | |
| build: | |
| strategy: | |
| fail-fast: false | |
| matrix: | |
| include: | |
| - alpine: 'edge' | |
| # - alpine: 'latest-stable' | |
| runs-on: ubuntu-latest | |
| name: alpine-${{ matrix.alpine }} | |
| concurrency: | |
| group: ${{ github.workflow }}-alpine-${{ matrix.alpine }}-${{ github.head_ref || github.run_id }} | |
| cancel-in-progress: true | |
| steps: | |
| - uses: actions/checkout@v4 | |
| with: | |
| submodules: recursive | |
| - name: host build params | |
| run: etc/ci/describe-system-config.sh | |
| - uses: jirutka/setup-alpine@v1 | |
| with: | |
| branch: ${{ matrix.alpine }} | |
| extra-repositories: https://dl-cdn.alpinelinux.org/alpine/edge/testing | |
| packages: git make jq gcc musl-dev python3 ocaml ocaml-findlib ghc cabal coq ocaml-zarith bash dune ocaml-ppxlib | |
| # next two steps as per https://gitlab.alpinelinux.org/alpine/aports/-/merge_requests/57766#note_365103 | |
| - name: Download development Coq | |
| shell: alpine.sh {0} | |
| run: | | |
| mkdir -p MR | |
| wget 'https://gitlab.alpinelinux.org/JasonGross/aports/-/jobs/1224083/artifacts/download?file_type=archive' -O MR.zip | |
| unzip MR.zip -d MR | |
| ls -la MR | |
| find MR | |
| - name: Set up development Coq | |
| shell: alpine.sh --root {0} | |
| run: | | |
| mv MR/keys/*.pub /etc/apk/keys/ | |
| echo '::group::cat /etc/apk/repositories' | |
| cat /etc/apk/repositories | |
| echo '::endgroup::' | |
| printf '\n' >> /etc/apk/repositories | |
| ls -d "$(pwd)"/MR/packages/* >> /etc/apk/repositories | |
| echo '::group::cat /etc/apk/repositories' | |
| cat /etc/apk/repositories | |
| echo '::endgroup::' | |
| apk update | |
| apk add --upgrade coq | |
| - name: chroot build params | |
| shell: alpine.sh {0} | |
| run: etc/ci/describe-system-config.sh | |
| - name: explore | |
| shell: alpine.sh {0} | |
| run: | | |
| echo '::group::apk list --installed' | |
| apk list --installed | |
| echo '::endgroup::' | |
| for pkg in coq dune ocaml-ppxlib; do | |
| echo "::group::apk info -L $pkg" | |
| apk info -L $pkg | |
| echo '::endgroup::' | |
| done | |
| for f in $(find MR/packages -name "*.apk"); do | |
| echo "::group::file $f" | |
| file $f || echo $? | |
| echo '::endgroup::' | |
| echo "::group::tar --warning=no-unknown-keyword -tvf $f" | |
| tar --warning=no-unknown-keyword -tvf $f || echo $? | |
| echo '::endgroup::' | |
| done | |
| which coqc | |
| dirname "$(which coqc)" | |
| echo '::group::ocamlfind list' | |
| ocamlfind list | |
| echo '::endgroup::' | |
| echo '::group::ocamlc -where' | |
| ocamlc -where | |
| echo '::endgroup::' | |
| for q in findlib zarith ppxlib dune coq coq-core coq-core.plugins coq-core.plugins.ltac; do | |
| echo "::group::ocamlfind query $q" | |
| ocamlfind query $q || echo $? | |
| echo '::endgroup::' | |
| echo "::group::ocamlfind query $q | xargs find" | |
| ( ocamlfind query $q | xargs find ) || echo $? | |
| echo '::endgroup::' | |
| done | |
| - name: make all | |
| shell: alpine.sh {0} | |
| run: make TIMED=1 TIMING=1 -d -j2 all | |
| - name: make all | |
| shell: alpine.sh {0} | |
| run: etc/ci/github-actions-make.sh ALLOW_DIFF=1 -j2 perf-Sanity | |
| - name: display timing info | |
| run: cat time-of-build-pretty.log | |
| - name: display per-line timing info | |
| run: etc/ci/github-actions-display-per-line-timing.sh | |
| alpine-check-all: | |
| runs-on: ubuntu-latest | |
| needs: [build] | |
| if: always() | |
| steps: | |
| - run: echo 'build passed' | |
| if: ${{ needs.build.result == 'success' }} | |
| - run: echo 'build failed' && false | |
| if: ${{ needs.build.result != 'success' }} |