aboutsummaryrefslogtreecommitdiffstats
path: root/.github/workflows
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--.github/workflows/ci.yml50
1 files changed, 50 insertions, 0 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
new file mode 100644
index 0000000..037dd01
--- /dev/null
+++ b/.github/workflows/ci.yml
@@ -0,0 +1,50 @@
+name: CI
+
+on:
+ push:
+ branches: [master]
+ pull_request:
+
+concurrency:
+ group: ${{ github.workflow }}-${{ github.ref }}
+ cancel-in-progress: true
+
+jobs:
+ build:
+ name: Build
+ runs-on: ubuntu-latest
+ steps:
+ - uses: actions/checkout@v4
+ - uses: DeterminateSystems/nix-installer-action@main
+ with:
+ extra-conf: |
+ access-tokens = github.com=${{ secrets.GITHUB_TOKEN }}
+ - uses: DeterminateSystems/magic-nix-cache-action@main
+ - name: Build the package
+ run: nix build .#relational_engine -L
+
+ test:
+ name: Test
+ runs-on: ubuntu-latest
+ steps:
+ - uses: actions/checkout@v4
+ - uses: DeterminateSystems/nix-installer-action@main
+ with:
+ extra-conf: |
+ access-tokens = github.com=${{ secrets.GITHUB_TOKEN }}
+ - uses: DeterminateSystems/magic-nix-cache-action@main
+ - name: Run the test suite
+ run: nix build .#checks.x86_64-linux.relational_engine -L
+
+ format:
+ name: OCaml formatting
+ runs-on: ubuntu-latest
+ steps:
+ - uses: actions/checkout@v4
+ - uses: DeterminateSystems/nix-installer-action@main
+ with:
+ extra-conf: |
+ access-tokens = github.com=${{ secrets.GITHUB_TOKEN }}
+ - uses: DeterminateSystems/magic-nix-cache-action@main
+ - name: Check dune/ocamlformat formatting
+ run: nix build .#checks.x86_64-linux.dune-fmt -L