Merge pull request #32 from mrufsvold/tagbot

Tagbot and compat fix
mrufsvold · Jul 7, 2023 · a3bdbd6 · a3bdbd6 · mrufsvold · Jul 7, 2023
2 parents d818a3b + 99a9138
commit a3bdbd6
Show file tree

Hide file tree

Showing 2 changed files with 19 additions and 2 deletions.
diff --git a/.github/workflows/TagBot.yml b/.github/workflows/TagBot.yml
@@ -4,12 +4,28 @@ on:
     types:
       - created
   workflow_dispatch:
+    inputs:
+      lookback:
+        default: 3
+permissions:
+  actions: read
+  checks: read
+  contents: write
+  deployments: read
+  issues: read
+  discussions: read
+  packages: read
+  pages: read
+  pull-requests: read
+  repository-projects: read
+  security-events: read
+  statuses: read
 jobs:
   TagBot:
     if: github.event_name == 'workflow_dispatch' || github.actor == 'JuliaTagBot'
     runs-on: ubuntu-latest
     steps:
       - uses: JuliaRegistries/TagBot@v1
         with:
-          token: $
-          ssh: $
+          # token: ${{ secrets.GITHUB_TOKEN }}
+          ssh: ${{ secrets.DOCUMENTER_KEY }}
diff --git a/Project.toml b/Project.toml
@@ -18,6 +18,7 @@ Compat = "3.42, 4"
 DataStructures = "0.18.14"
 PooledArrays = "1.4"
 StructTypes = "1.10"
+SumTypes = "0.4, 0.5"
 Tables = "1"
 TypedTables = "1.4"
 julia = "1.6"