Skip to content

docs.yml: wait for the Pages build of the pushed gh-pages commit - #17

Merged
tannevaled merged 1 commit into
mainfrom
pagesbuild-after-push
Nov 7, 2026
Merged

tannevaled merged 1 commit into
mainfrom
pagesbuild-after-push

docs.yml: wait for the Pages build of the pushed gh-pages commit

8968f6d
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

2 notices
build
succeeded Nov 7, 2026 in 11s