Merge pull request #38 from ocaml-sf/gha

Add GHA workflow
ocaml-sf · Oct 13, 2023 · 54a1cec · 54a1cec
2 parents c3ba1b4 + 4661063
commit 54a1cec
Show file tree

Hide file tree

Showing 3 changed files with 32 additions and 8 deletions.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -0,0 +1,30 @@
+name: CI
+
+on:
+  push:
+    branches:
+      - master
+  pull_request:
+    branches:
+      - '**'
+
+jobs:
+  test:
+    name: Run learn-ocaml on the corpus
+    runs-on: ubuntu-latest
+    strategy:
+      fail-fast: false
+      matrix:
+        server_image:
+          - 'ocamlsf/learn-ocaml:0.15.0'
+          # TODO: Keep up-to-date
+          - 'ocamlsf/learn-ocaml:master'
+    steps:
+      - name: Check out the repo
+        uses: actions/checkout@v3
+      - name: Create directory www
+        run: |
+          mkdir -m 755 www
+          sudo chown -v 1000:1000 www
+      - name: Run learn-ocaml on the corpus
+        run: 'docker run --rm -v "$PWD:/repository" -v "$PWD/www:/home/learn-ocaml/www" ${{ matrix.server_image }} build'
diff --git a/.travis.yml b/.travis.yml
diff --git a/README.md b/README.md
@@ -1 +1,3 @@
 # The Learn OCaml Corpus
+
+[![CI](https://github.com/ocaml-sf/learn-ocaml-corpus/actions/workflows/test.yml/badge.svg?branch=master)](https://github.com/ocaml-sf/learn-ocaml-corpus/actions/workflows/test.yml)