Files
tooomm 7507103bb2 CI: Update trigger for doc builds (#6871)
* Update trigger

* use `published` trigger

* narrow deploy step filter

* re-add deployments on manual runs
2026-05-13 14:54:47 +02:00
..
2026-02-21 21:38:05 +01:00
2019-11-02 23:52:14 -04:00