Haddocks to GitHub Pages

Merge pull request #4966 from IntersectMBO/ldan/pretty-purge #921

Sign in to view logs

Triggered via push May 26, 2025 15:42

Lucsanszky

master

Status Success

Total duration 1h 46m 53s

Artifacts –

gh-pages.yml

on: push