diff --git a/.github/dependabot.yml b/.github/dependabot.yml index d60f0707fc2..f1c07345901 100644 --- a/.github/dependabot.yml +++ b/.github/dependabot.yml @@ -5,3 +5,11 @@ updates: directory: "/" # Location of package manifests schedule: interval: "monthly" + groups: + # Group all GitHub Actions PRs into a single PR: + all-github-actions: + patterns: + - "*" + ignore: + - dependency-name: "julia-actions/julia-downgrade-compat" + versions: [ ">=2.0.0" ] diff --git a/docs/make.jl b/docs/make.jl index 0301f5ba64e..4d9c8948ac1 100644 --- a/docs/make.jl +++ b/docs/make.jl @@ -182,4 +182,7 @@ makedocs( deploydocs(repo = "github.com/trixi-framework/Trixi.jl", deploy_repo = "github.com/trixi-framework/TrixiDocumentation", devbranch = "main", - push_preview = true) + # Only push previews if all the relevant environment variables are non-empty. + push_preview = all(!isempty, + (get(ENV, "GITHUB_TOKEN", ""), + get(ENV, "DOCUMENTER_KEY", ""))))