chore: pre-tag fixes — GitHub release relay, log filter, setter contracts, importer tests #123

Merged
lerko merged 5 commits from chore/pre-tag-fixes into main 2026-06-12 19:37:18 +00:00
Showing only changes of commit 6dfd56dcd4 - Show all commits
+4
View File
@@ -60,6 +60,10 @@ jobs:
env:
GH_TOKEN: ${{ secrets.GH_MIRROR_TOKEN }}
run: |
if [ -z "$GH_TOKEN" ]; then
echo "GH_MIRROR_TOKEN not set — skipping GitHub release relay"
exit 0
fi
apk add --no-cache github-cli
TAG="${{ github.ref_name }}"