Skip to content

ci(docs): deploy on push to develop instead of a GitHub Release - #977

Merged
michalharakal merged 1 commit into
developfrom
fix/docs-deploy-trigger-975
Aug 13, 2026
Merged

michalharakal merged 1 commit into
developfrom
fix/docs-deploy-trigger-975

ci(docs): deploy on push to develop instead of a GitHub Release

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

Annotations

1 warning and 2 notices
submit-gradle
succeeded Aug 13, 2026 in 3m 54s