ci: update dux-repo references

This commit is contained in:
purian23 committed 2026-10-24 16:35:18 -04:00
1 parent 3388f78905
commit 20bcf8559b
2 files changed
+2 -2

No files matched your search

+1 -1
View File
@@ -47,7 +47,7 @@ jobs:
run: |
SHOULD_BUILD=true
if [ "${{ github.event_name }}" = "schedule" ]; then
# dms/current is shared with dux-packaging; read this repo's own entry
# dms/current is shared with dux-repo; read this repo's own entry
PUBLISHED_COMMIT="$(curl -fsSL --retry 3 "$MANIFEST_URL" \
| jq -r --arg repo "${{ github.repository }}" '.sources[$repo] // .source_commit // empty' 2>/dev/null || true)"
if [ "$PUBLISHED_COMMIT" = "${{ github.sha }}" ]; then