public-mirrors
/
innernet-debian
mirror of https://github.com/tommie/innernet-debian.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

And again!

main
tommie 2023-05-15 17:23:15 +02:00 committed by GitHub
parent 25c2986631
commit c6bda67b91
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.github/workflows/main.yml vendored
View File

@ -157,7 +157,7 @@ jobs:
needs: [check-upstream, build-deb] needs: [check-upstream, build-deb]
# Avoid push conflicts. # Avoid push conflicts.
concurrency: update_repository concurrency: update_repository
if: "matrix.os[0] != null" if: "fromJson(needs.check-upstream.outputs.new_release_exists)[0] != null"
runs-on: ${{ matrix.os }} runs-on: ${{ matrix.os }}
strategy: strategy: