Haddocks to GitHub Pages

Merge pull request #4324 from IntersectMBO/aniketd/proposal-deposits-… #513

Sign in to view logs

Summary
Jobs
- gh-pages
Run details
- Usage
- Workflow file

Triggered via push May 13, 2024 19:16

aniketd

master

Status Success

Total duration 1h 41m 17s

Artifacts –

gh-pages.yml

on: push