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

Adds ubuntu prefix.

main
tommie 2023-05-12 16:28:29 +02:00 committed by GitHub
parent d6ffba3a65
commit 628441ba28
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -96,8 +96,8 @@ jobs:
id: translate-codename id: translate-codename
run: | run: |
case "${{ matrix.os }}" in case "${{ matrix.os }}" in
22.04) codename=jammy ;; ubuntu-22.04) codename=jammy ;;
20.04) codename=focal ;; ubuntu-20.04) codename=focal ;;
*) *)
echo "Unknown OS: ${{ matrix.os }}" >&2 echo "Unknown OS: ${{ matrix.os }}" >&2
exit 1 exit 1
@ -180,8 +180,8 @@ jobs:
id: translate-codename id: translate-codename
run: | run: |
case "${{ matrix.os }}" in case "${{ matrix.os }}" in
22.04) codename=jammy ;; ubuntu-22.04) codename=jammy ;;
20.04) codename=focal ;; ubuntu-20.04) codename=focal ;;
*) *)
echo "Unknown OS: ${{ matrix.os }}" >&2 echo "Unknown OS: ${{ matrix.os }}" >&2
exit 1 exit 1