github: add docs workflow, touch-up

.github/workflows/ci.yaml

@@ -13,7 +13,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v2
-      - name: Setup Go ${{ matrix.go-version }}
+      - name: Setup Go
         uses: actions/setup-go@v5
         with:
           go-version-file: go.mod

.github/workflows/docs.yaml

@@ -0,0 +1,40 @@
+on:
+  push:
+    branches: [main, devel]
+  pull_request:
+    branches: [main]
+    paths-ignore:
+      - "**/*.md"
+      - "**/*.py"
+      - "LICENSE"
+
+jobs:
+  docs:
+    runs-on: ubuntu-latest
+    permissions:
+      contents: write
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v1
+        with:
+          fetch-depth: 0
+      - name: Setup Go
+        uses: actions/setup-go@v5
+        with:
+          go-version-file: go.mod
+      - name: Build documentation
+        run: |
+          go install go.abhg.dev/doc2go@latest
+          doc2go -out docs ./...
+      - name: Deploy documentation to GitHub pages
+        if: github.ref == 'refs/heads/main'
+        uses: peaceiris/[email protected]
+        env:
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+          PUBLISH_BRANCH: gh-pages
+          PUBLISH_DIR: docs
+      - name: Upload documentation
+        uses: actions/upload-artifact@v1
+        with:
+          name: documentation
+          path: docs

.gitignore

@@ -5,7 +5,6 @@ samples/
 ### Documentation
 # Generated docs
 docs/
-doc/
 
 ### JetBrains
 # User-specific stuff