From 56ac302d31d1d0d2d67cc664ab2d69ae3bfbc29a Mon Sep 17 00:00:00 2001 From: Hugo Heuzard Date: Wed, 5 Mar 2025 18:05:20 +0100 Subject: [PATCH 1/2] Make sure opam install works --- .github/workflows/workflow.yml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.github/workflows/workflow.yml b/.github/workflows/workflow.yml index 49afe5e8d..3b3829041 100644 --- a/.github/workflows/workflow.yml +++ b/.github/workflows/workflow.yml @@ -50,6 +50,8 @@ jobs: - run: opam exec -- make all + - run: opam install . + # lint-doc: # runs-on: ubuntu-latest # steps: From f14a1eee6cd240c7dc0e08106badc6d740f75d49 Mon Sep 17 00:00:00 2001 From: Hugo Heuzard Date: Wed, 5 Mar 2025 18:06:39 +0100 Subject: [PATCH 2/2] reduce ci load --- .github/workflows/workflow.yml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.github/workflows/workflow.yml b/.github/workflows/workflow.yml index 3b3829041..875b21087 100644 --- a/.github/workflows/workflow.yml +++ b/.github/workflows/workflow.yml @@ -2,6 +2,8 @@ name: Builds, tests & co on: push: + branches: + - master pull_request: schedule: # Prime the caches every Monday