From 681fd2cc53c117aec0667b7137e15af1de54e74c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Antonio=20V=C3=A1zquez=20Blanco?= Date: Sat, 15 Jun 2024 22:07:20 +0200 Subject: [PATCH] CI: Add compilation pipeline --- .github/workflows/build.yml | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) create mode 100644 .github/workflows/build.yml diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml new file mode 100644 index 00000000..1c4fd5fe --- /dev/null +++ b/.github/workflows/build.yml @@ -0,0 +1,22 @@ +name: Build +on: [push, pull_request, workflow_dispatch] +jobs: + build: + runs-on: ubuntu-latest + steps: + - name: Install dependencies + run: | + sudo apt-get update + sudo apt-get install ocaml ocamlbuild libnum-ocaml-dev autoconf automake indent libtool fig2dev + + - name: Checkout + uses: actions/checkout@v4 + + - name: Bootstrap + run: sh bootstrap.sh + + - name: Build + run: make + + - name: Test + run: make -C tests smallcheck