Skip to content

Commit

Permalink
add Alpine CI
Browse files Browse the repository at this point in the history
  • Loading branch information
andres-erbsen committed Jul 27, 2023
1 parent be2bfa6 commit 4a8e560
Showing 1 changed file with 49 additions and 0 deletions.
49 changes: 49 additions & 0 deletions .github/workflows/coq-alpine.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,49 @@
name: CI (Coq, Alpine)

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

jobs:
build:
strategy:
fail-fast: false
matrix:
include:
- alpine: 'edge'
# - alpine: 'latest-stable'

runs-on: ubuntu-latest
name: ${{ matrix.alpine }}
concurrency:
group: ${{ github.workflow }}-${{ matrix.alpine }}-${{ github.head_ref || github.run_id }}
cancel-in-progress: true
steps:
- uses: actions/checkout@v3
with:
submodules: recursive
- 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
- 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: make deps
shell: alpine.sh {0}
run: make -j2 deps
- name: all-except-generated
shell: alpine.sh {0}
run: make -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

0 comments on commit 4a8e560

Please sign in to comment.