From e1e883fb0a155fc19f1c8aaa5524a7243ce6bbde Mon Sep 17 00:00:00 2001
From: ROMemories <romain.fouquet@inria.fr>
Date: Wed, 10 Apr 2024 12:14:40 +0200
Subject: [PATCH] ci(docs): fix the workflow trigger conditions

`$default-branch` can only be used in workflow templates, not in
workflows, see
https://docs.github.com/en/actions/using-workflows/creating-starter-workflows-for-your-organization
---
 .github/workflows/build-deploy-docs.yml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/build-deploy-docs.yml b/.github/workflows/build-deploy-docs.yml
index 98a8b0f1..6684c615 100644
--- a/.github/workflows/build-deploy-docs.yml
+++ b/.github/workflows/build-deploy-docs.yml
@@ -8,10 +8,12 @@ name: Deploy docs
 
 on:
   push:
-    branches: [$default-branch]
+    branches: main
     paths:
+      - book/**
       - src/**
       - Cargo.toml
+      - rust-toolchain
 
   # Allows you to run this workflow manually from the Actions tab
   workflow_dispatch: