From a0b481e2f9e9338a3cab294fef97caf70f35533e Mon Sep 17 00:00:00 2001 From: Giacomo Leidi Date: Tue, 21 May 2024 01:15:36 +0200 Subject: [PATCH] Add Github CI. --- .github/workflows/main.yml | 37 +++++++++++++++++++++++++++++++++++++ 1 file changed, 37 insertions(+) create mode 100644 .github/workflows/main.yml diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml new file mode 100644 index 0000000..c6bf0f2 --- /dev/null +++ b/.github/workflows/main.yml @@ -0,0 +1,37 @@ +# This is a basic workflow to help you get started with Actions + +name: CI + +# Controls when the workflow will run +on: + pull_request: + paths-ignore: + - '.gitignore' + - README.* + - LICENSE + - 'etc/**' + + push: + # Sequence of patterns matched against refs/tags + branches: ["main"] + paths-ignore: + - '.gitignore' + - README.* + - LICENSE + - 'etc/**' + + # Allows you to run this workflow manually from the Actions tab + workflow_dispatch: + +# A workflow run is made up of one or more jobs that can run sequentially or in parallel +jobs: + run-tests: + runs-on: ubuntu-latest + steps: + - uses: actions/checkout@v3 + - name: Install GNU Guix + uses: PromyLOPh/guix-install-action@v1.5 + + # Runs a set of commands using the runners shell + - name: Build image + run: guix shell make -- make check