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

Checks for the distro-specific versions.

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

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

@ -66,8 +66,9 @@ jobs:
run: | run: |
# Note the leading v to match the Git tag. # Note the leading v to match the Git tag.
indexed=v$(reprepro -b debian --list-format '${version}\n' listmatched "${{ steps.set-ubuntu-release-name.outputs.ubuntu_release }}" innernet) indexed=v$(reprepro -b debian --list-format '${version}\n' listmatched "${{ steps.set-ubuntu-release-name.outputs.ubuntu_release }}" innernet)
upstream="${{ steps.check-latest-release.outputs.innernet_release }}-0ubuntu0~${{ steps.set-ubuntu-release-name.outputs.ubuntu_release }}"
echo "Repo release: $indexed" echo "Repo release: $indexed"
if [ "x$indexed" = "x${{ steps.check-latest-release.outputs.innernet_release }}" ]; then if [ "x$indexed" = "x$upstream" ]; then
echo "new_release_exists=false" >>"$GITHUB_OUTPUT" echo "new_release_exists=false" >>"$GITHUB_OUTPUT"
else else
echo "new_release_exists=true" >>"$GITHUB_OUTPUT" echo "new_release_exists=true" >>"$GITHUB_OUTPUT"