update GH action, use ghcr

Author: Tsche

.github/workflows/docs.yaml

@@ -17,15 +17,13 @@ permissions:
 jobs:
   build:
     runs-on: ubuntu-latest
+    container:
+      image: ghcr.io/fuquery/antora:latest
+
     environment:
       name: github-pages
       url: ${{ steps.deployment.outputs.page_url }}
 
-    container:
-      build:
-        context: .
-        dockerfile: .devcontainer/Dockerfile
-
     steps:
       - name: Checkout repository
         uses: actions/checkout@v5
@@ -43,4 +41,4 @@ jobs:
 
       - name: Deploy to GitHub Pages
         id: deployment
-        uses: actions/deploy-pages@v4
+        uses: actions/deploy-pages@v4

tools/update_docker.py

@@ -0,0 +1,20 @@
+from pathlib import Path
+import subprocess
+
+REPO_PATH = Path(__file__).parent.parent
+
+def main():
+    subprocess.run(
+        ["docker", "build", "-f", REPO_PATH / ".devcontainer" / "Dockerfile", 
+         "-t", "ghcr.io/fuquery/antora:latest", "."],
+        check=True,
+        cwd=str(REPO_PATH))
+    
+    subprocess.run(
+        ["docker", "push", "ghrc.io/fuquery/antora:latest"],
+        check=True,
+        cwd=str(REPO_PATH))
+
+
+if __name__ == "__main__":
+    main()