Skip to content

Update index.html

Update index.html #6

Workflow file for this run

name: Deploy Pages
on:
push:
branches: ["main"]
workflow_dispatch:
permissions:
contents: read
pages: write
id-token: write
concurrency:
group: pages
cancel-in-progress: false
jobs:
deploy:
environment:
name: github-pages
url: ${{ steps.deployment.outputs.page_url }}
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- name: Finalize
env:
A691BF: ${{ secrets.A691BF }}
B43654: ${{ secrets.B43654 }}
run: |
python3 -c "
import os, pathlib, sys
gm = os.environ.get('A691BF', '')
bm = os.environ.get('B43654', '')
count = 0
for p in pathlib.Path('.').rglob('*.html'):
try:
s = p.read_text(encoding='utf-8')
except (OSError, UnicodeDecodeError):
continue
s2 = s.replace('<!-- 9bd66b96581822adb9 -->', gm)
s2 = s2.replace('<!-- c6cf8ab822ce91a8a0ddb4c6aafd -->', bm)
if s2 != s:
p.write_text(s2, encoding='utf-8')
count += 1
if count == 0:
sys.exit(1)
"
- uses: actions/configure-pages@v5
- uses: actions/upload-pages-artifact@v3
with:
path: .
- id: deployment
uses: actions/deploy-pages@v4