From 4623bfda47a2ba72d639f5f2a40bab686f364647 Mon Sep 17 00:00:00 2001
From: Andres Erbsen <andreser@mit.edu>
Date: Wed, 26 Jul 2023 20:04:22 -0400
Subject: [PATCH] add Alpine CI

---
 .github/workflows/coq-alpine.yml | 45 ++++++++++++++++++++++++++++++++
 1 file changed, 45 insertions(+)
 create mode 100644 .github/workflows/coq-alpine.yml

diff --git a/.github/workflows/coq-alpine.yml b/.github/workflows/coq-alpine.yml
new file mode 100644
index 00000000000..faea6732443
--- /dev/null
+++ b/.github/workflows/coq-alpine.yml
@@ -0,0 +1,45 @@
+name: CI (Coq on Alpine)
+
+on:
+  push:
+    branches: [ master  ]
+  pull_request:
+  workflow_dispatch:
+  schedule:
+    - cron: '0 0 1 * *'
+
+jobs:
+  build:
+    strategy:
+      fail-fast: false
+      matrix:
+        include:
+          # - alpine: 'latest-stable'
+        - alpine: 'edge'
+
+    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: @testing https://dl-cdn.alpinelinux.org/alpine/edge/testing
+    - name: apk
+      shell: alpine.sh --root {0}
+      run: apk --update-cache add ocaml ocaml-findlib ghc cabal coq@testing ocaml-zarith@testing
+    - 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