From 18ec12191d309b99c4c4e2b7c2e478620fa01ad8 Mon Sep 17 00:00:00 2001 From: Joaquim Date: Mon, 22 Jul 2024 01:19:16 +0100 Subject: [PATCH] com --- makedocs.jl | 1 + 1 file changed, 1 insertion(+) diff --git a/makedocs.jl b/makedocs.jl index d91faa502..f40a49c5b 100644 --- a/makedocs.jl +++ b/makedocs.jl @@ -14,6 +14,7 @@ using Documenter: deploydocs, deploy_folder, GitHubActions using Gumbo using AbstractTrees + cfg = GitHubActions() # this should pick up all details via GHA environment variables repo = "github.com/GenericMappingTools/GMT.jl.git"