CI: minor cleanup in workflows. build job in publish workflow was not needed

This commit is contained in:
Michael Panchenko committed 2026-04-15 19:30:53 +02:00
1 parent e9e90f734d
commit 6cd9c6b4d6
2 files changed
+6 -35

No files matched your search

+3
View File
@@ -6,6 +6,9 @@ on:
branches:
- main
permissions:
contents: read
concurrency:
group: ci-${{ github.workflow }}-${{ github.ref }}
cancel-in-progress: true