ci: deploy docs to custom Pages domain

This commit is contained in:
Federico Jaramillo Martinez
2026-05-16 00:29:36 +02:00
parent a179a049fc
commit 0f92203834
2 changed files with 3 additions and 2 deletions
+2 -2
View File
@@ -1,4 +1,4 @@
name: Deploy static site name: Deploy docs to GitHub Pages
on: on:
push: push:
@@ -19,7 +19,7 @@ concurrency:
jobs: jobs:
deploy: deploy:
name: Deploy GitHub Pages name: Deploy docs site
runs-on: ubuntu-latest runs-on: ubuntu-latest
environment: environment:
name: github-pages name: github-pages
+1
View File
@@ -0,0 +1 @@
pi-web.dev