update workflows (#14)

Author: t-bltg

.github/workflows/TagBot.yml

@@ -9,4 +9,6 @@ jobs:
   changelog:
     runs-on: ubuntu-latest
     steps:
-    - uses: dangoslen/changelog-enforcer@v3
+    - uses: dangoslen/changelog-enforcer@v3
+      with:
+        skipLabels: "skip-changelog"

.github/workflows/changelog.yml

@@ -1,4 +1,4 @@
-name: CI
+name: ci
 
 on:
   pull_request:

.github/workflows/CI.yml .github/workflows/ci.yml.github/workflows/CI.yml renamed to .github/workflows/ci.yml

@@ -1,7 +1,6 @@
 name: docs
 
 on:
-  pull_request:
   push:
     branches:
       - 'master'
@@ -12,6 +11,11 @@ on:
 
 jobs:
   build:
+    permissions:
+      actions: write
+      contents: write
+      pull-requests: read
+      statuses: write
     runs-on: ${{ matrix.os }}
     strategy:
       matrix:
@@ -21,9 +25,9 @@ jobs:
       - uses: julia-actions/setup-julia@latest
       - uses: julia-actions/cache@v2
       - name: Install dependencies
-        run: julia --project=docs/ -e 'using Pkg; Pkg.develop(PackageSpec(path=pwd())); Pkg.instantiate()'
+        run: julia --project=docs -e 'using Pkg; Pkg.develop(PackageSpec(path=pwd())); Pkg.instantiate()'
       - name: Build and deploy
+        run: julia --color=yes --project=docs docs/make.jl
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
           DOCUMENTER_KEY: ${{secrets.DOCUMENTER_KEY}}
-        run: julia --project=docs/ docs/make.jl

.github/workflows/docs.yml

@@ -1,4 +1,5 @@
-name: Formatting
+name: formatting
+
 on:
   push:
     branches:
@@ -7,6 +8,7 @@ on:
     tags:
       - '*'
   pull_request:
+
 jobs:
   runic:
     name: Runic formatting

.github/workflows/formatting.yml

@@ -0,0 +1,20 @@
+name: tagbot
+
+on:
+  issue_comment:
+    types:
+      - created
+  workflow_dispatch:
+    inputs:
+      lookback:
+        default: 10
+
+jobs:
+  tagbot:
+    if: github.event_name == 'workflow_dispatch' || github.actor == 'JuliaTagBot'
+    runs-on: ubuntu-latest
+    steps:
+      - uses: JuliaRegistries/TagBot@v1
+        with:
+          token: ${{ secrets.GITHUB_TOKEN }}
+          ssh: ${{ secrets.DOCUMENTER_KEY }}