diff options
| author | matt335672 <30179339+matt335672@users.noreply.github.com> | 2022-05-27 14:43:20 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-05-27 14:43:20 +0300 |
| commit | 308b6f22ce83b700d67c9c286e0d9f9a8e39cf53 (patch) | |
| tree | ddb25bdcd9df98496aec92e0328ad855230c905e | |
| parent | 221b2873874f822c43727f7ac8c56e229d2cddb5 (diff) | |
| parent | 1b2b6c66a332e225d201eade246f3469f1daf613 (diff) | |
Merge pull request #83 from matt335672/update_actions
github actions: use canonical way to get ImageOS
| -rw-r--r-- | .github/workflows/build.yml | 22 |
1 files changed, 12 insertions, 10 deletions
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index d71896f..906106e 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -8,10 +8,12 @@ jobs: name: install PA sources runs-on: ubuntu-latest steps: - # This is currently the only way to get a version into - # the cache tag name - see https://github.com/actions/cache/issues/543 - - run: | - echo "OS_VERSION=`lsb_release -sr`" >> $GITHUB_ENV + # Set steps.os.outputs.image to the specific OS (e.g. 'ubuntu20') + # see https://github.com/actions/cache/issues/543 + - name: Get operating system name and version. + id: os + run: echo "::set-output name=image::$ImageOS" + shell: bash - uses: actions/checkout@v2 - name: Cache pulseaudio source uses: actions/cache@v2 @@ -19,7 +21,7 @@ jobs: cache-name: cache-pulseaudio-src with: path: ~/pulseaudio.src - key: ${{ runner.os }}-${{ env.OS_VERSION }}-build-${{ env.cache-name }} + key: ${{ steps.os.outputs.image }}-build-${{ env.cache-name }} - run: scripts/install_pulseaudio_sources_apt.sh build: @@ -40,17 +42,17 @@ jobs: CFLAGS: -Wall -Wextra -Werror steps: - # This is currently the only way to get a version into - # the cache tag name - see https://github.com/actions/cache/issues/543 - - run: | - echo "OS_VERSION=`lsb_release -sr`" >> $GITHUB_ENV + - name: Get operating system name and version. + id: os + run: echo "::set-output name=image::$ImageOS" + shell: bash - name: Fetch pulseaudio sources uses: actions/cache@v2 env: cache-name: cache-pulseaudio-src with: path: ~/pulseaudio.src - key: ${{ runner.os }}-${{ env.OS_VERSION }}-build-${{ env.cache-name }} + key: ${{ steps.os.outputs.image }}-build-${{ env.cache-name }} - uses: actions/checkout@v2 - run: sudo apt-get update - run: sudo apt-get -yq install build-essential libpulse-dev |