Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Model coq-alpine after coq-debian #1712

Merged
merged 3 commits into from
Nov 11, 2023
Merged

Model coq-alpine after coq-debian #1712

Changes from all commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
130f9ce
Model coq-alpine after coq-debian
JasonGross Nov 10, 2023
3316f8e
Don't use github-actions-make on alpine
JasonGross Nov 11, 2023
877327b
Update coq-alpine.yml with TIMING=1
JasonGross Nov 11, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
49 changes: 42 additions & 7 deletions .github/workflows/coq-alpine.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,14 +2,16 @@ name: CI (Coq, Alpine)

on:
push:
branches: [ master ]
branches: [ master ]
pull_request:
merge_group:
workflow_dispatch:
schedule:
- cron: '0 0 1 * *'

jobs:
build:

strategy:
fail-fast: false
matrix:
Expand All @@ -19,9 +21,11 @@ jobs:

runs-on: ubuntu-latest
name: ${{ matrix.alpine }}

concurrency:
group: ${{ github.workflow }}-${{ matrix.alpine }}-${{ github.head_ref || github.run_id }}
group: ${{ github.workflow }}-alpine-${{ matrix.alpine }}-${{ github.head_ref || github.run_id }}
cancel-in-progress: true

steps:
- uses: actions/checkout@v4
with:
Expand All @@ -30,23 +34,54 @@ jobs:
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
packages: git make jq gcc musl-dev python3 ocaml ocaml-findlib ghc cabal coq ocaml-zarith bash
- name: work around coq issue 15663
shell: alpine.sh --root {0}
run: |
ln -s /usr/lib/coq /usr/lib/ocaml/coq
ln -s /usr/lib/coq-core /usr/lib/ocaml/coq-core
ln -s /usr/lib/coqide-server /usr/lib/ocaml/coqide-server
- name: host build params
run: etc/ci/describe-system-config.sh
- name: chroot build params
shell: alpine.sh {0}
run: etc/ci/describe-system-config.sh
- name: make deps
shell: alpine.sh {0}
run: make -j2 deps
run: make TIMED=1 TIMING=1 -j2 deps
- name: all-except-generated
shell: alpine.sh {0}
run: make -j2 all-except-generated
run: make TIMED=1 TIMING=1 -j2 all-except-generated
- name: generated-files
if: github.event_name == 'pull_request' || ${{ matrix.env.VERSION }} != 'master'
shell: alpine.sh {0}
run: make -j2 generated-files
run: make TIMED=1 TIMING=1 -j2 generated-files
- run: tar -czvf generated-files.tgz fiat-*/
if: ${{ failure() }}
- name: upload generated files
uses: actions/upload-artifact@v3
with:
name: generated-files-${{ matrix.alpine }}
path: generated-files.tgz
if: ${{ failure() }}
- name: upload OCaml files
uses: actions/upload-artifact@v3
with:
name: ExtractionOCaml-${{ matrix.alpine }}
path: src/ExtractionOCaml
if: always ()
- name: standalone-haskell
shell: alpine.sh {0}
run: make TIMED=1 TIMING=1 -j1 standalone-haskell GHCFLAGS='+RTS -M6G -RTS'
- name: upload Haskell files
uses: actions/upload-artifact@v3
with:
name: ExtractionHaskell-${{ matrix.alpine }}
path: src/ExtractionHaskell
if: always ()
- name: display timing info
run: cat time-of-build-pretty.log || true
- name: display per-line timing info
run: etc/ci/github-actions-display-per-line-timing.sh

alpine-check-all:
runs-on: ubuntu-latest
Expand Down
Loading