Haddocks to GitHub Pages

Add documentation Manual.md and DesignPrinciples.md (#5044) #957

Sign in to view logs

Triggered via push June 19, 2025 21:13

TimSheard

master

Status Success

Total duration 1h 46m 40s

Artifacts –

gh-pages.yml

on: push