Add dedup to doc job.

This commit is contained in:
Dario Nieuwenhuis 2025-07-24 23:29:54 +02:00
parent ff29d61b31
commit b49d809346

2
.github/ci/doc.sh vendored
View File

@ -1,5 +1,7 @@
#!/bin/bash
## on push branch=main
## priority -10
## dedup dequeue
set -euxo pipefail