Repository navigation

Deploy GitHub Pages from main - #385

Merged

bserrien merged 2 commits into

mainfrom

trigger-deploy-on-main

Oct 26, 2026

Merged

Deploy GitHub Pages from main#385
bserrien merged 2 commits into
mainfrom
trigger-deploy-on-main

Commits on Oct 26, 2026
- Deploy GitHub Pages from main
  damianooldoni
  committed
  0930a9d
- Add workflow dispatch
  damianooldoni
  committed
  297b451