diff --git a/.github/workflows/workflow.yml b/.github/workflows/workflow.yml
index 49afe5e8d..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
@@ -50,6 +52,8 @@ jobs:
 
       - run: opam exec -- make all
 
+      - run: opam install .
+
   # lint-doc:
   #   runs-on: ubuntu-latest
   #   steps: