Add dedup to book job.

This commit is contained in:
Dario Nieuwenhuis 2025-07-24 23:30:36 +02:00
parent b49d809346
commit 915513753a

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

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