Fix haddock dropdown element in haddock index #6556

zeme-wana · 2024-10-10T08:22:29Z

No description provided.

zeme-wana added 2 commits October 9, 2024 08:48

Fetch git tags before listing plutus versions in combined-haddock.sh

142ed62

Start from 1.30.0.0

bfcd164

zeme-wana self-assigned this Oct 10, 2024

zeme-wana temporarily deployed to github-pages October 10, 2024 08:22 — with GitHub Actions Inactive

zeme-wana added the No Changelog Required Add this to skip the Changelog Check label Oct 10, 2024

zeme-wana temporarily deployed to github-pages October 10, 2024 08:30 — with GitHub Actions Inactive

zeme-wana had a problem deploying to github-pages October 10, 2024 08:30 — with GitHub Actions Error

wip

eb527f0

zeme-wana temporarily deployed to github-pages October 10, 2024 08:32 — with GitHub Actions Inactive

zeme-wana had a problem deploying to github-pages October 10, 2024 08:38 — with GitHub Actions Error

zeme-wana had a problem deploying to github-pages October 10, 2024 08:39 — with GitHub Actions Error

update

8bc986a

zeme-wana temporarily deployed to github-pages October 10, 2024 09:11 — with GitHub Actions Inactive

wip

9c43352

zeme-wana temporarily deployed to github-pages October 10, 2024 09:15 — with GitHub Actions Inactive

zeme-wana had a problem deploying to github-pages October 10, 2024 09:16 — with GitHub Actions Error

wip

8f8c618

zeme-wana temporarily deployed to github-pages October 10, 2024 09:16 — with GitHub Actions Inactive

zeme-wana had a problem deploying to github-pages October 10, 2024 09:16 — with GitHub Actions Error

zeme-wana temporarily deployed to github-pages October 10, 2024 09:17 — with GitHub Actions Inactive

zeme-wana merged commit c217c3b into master Oct 10, 2024
9 of 10 checks passed

zeme-wana deleted the fix-haddock-gt-sign branch October 10, 2024 13:11

Provide feedback