Merge pull request #18 from SebKrantz/development

SebKrantz · web-flow · commit 2125e2d79811 · 2024-09-14T17:26:59.000+02:00
Minors.
diff --git a/.github/workflows/documentation.yml b/.github/workflows/documentation.yml
@@ -2,11 +2,12 @@ name: Documentation
 
 on:
   workflow_dispatch:
+  release:
+    types: [published]
   # push:
   #   branches:
   #     - main # update to match your development branch (master, main, dev, trunk, ...)
   #   tags: '*'
-  pull_request:
 
 jobs:
   build:
@@ -26,4 +27,5 @@ jobs:
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} # If authenticating with GitHub Actions token
           DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }} # If authenticating with SSH deploy key
-        run: julia --project=docs/ docs/make.jl
+        run: julia --project=docs/ docs/make.jl
+
diff --git a/docs/make.jl b/docs/make.jl
@@ -23,5 +23,6 @@ makedocs(
 deploydocs(
     repo = "github.com/SebKrantz/OptimalTransportNetworks.jl.git",
     devbranch = "main",
+    tag = "stable",
     push_preview = true,
 )

Original file line number	Diff line number	Diff line change
`@@ -23,5 +23,6 @@ makedocs(`
`23`	`23`	`deploydocs(`
`24`	`24`	`repo = "github.com/SebKrantz/OptimalTransportNetworks.jl.git",`
`25`	`25`	`devbranch = "main",`
	`26`	`+ tag = "stable",`
`26`	`27`	`push_preview = true,`
`27`	`28`	`)`