Skip to content

Check Devbox - 8072914671 - @EdwardDowling #18272

Check Devbox - 8072914671 - @EdwardDowling

Check Devbox - 8072914671 - @EdwardDowling #18272

Workflow file for this run

name: Check Devbox
run-name: Check Devbox - ${{ github.run_id }} - @${{ github.actor }}
on:
pull_request:
merge_group:
jobs:
changes:
name: Check for relevant changes
runs-on: ubuntu-latest
permissions:
pull-requests: read
outputs:
changed: ${{ steps.changes.outputs.changed }}
steps:
- name: Checkout
if: ${{ github.event_name == 'merge_group' }}
uses: actions/checkout@v4
- uses: dorny/paths-filter@ebc4d7e9ebcb0b1eb21480bb8f43113e996ac77a # v3.0.1
id: changes
with:
base: ${{ github.event.pull_request.base.ref || github.event.merge_group.base_ref }}
ref: ${{ github.event.pull_request.head.ref || github.event.merge_group.head_ref }}
filters: |
changed:
- .github/workflows/check-devbox.yaml
- 'devbox.json'
- 'devbox.lock'
- 'build.assets/flake/**'
check-devbox:
name: Check Devbox
needs: changes
if: ${{ needs.changes.outputs.changed == 'true' }}
runs-on: ubuntu-latest
permissions:
contents: read
steps:
- name: Checkout
uses: actions/checkout@v4
- name: Install devbox
uses: jetpack-io/devbox-install-action@4a7f1d5332cc72057d5e8080edebfcdf652e642e # v0.8.0
with:
enable-cache: true
devbox-version: 0.9.0
sha256-sum: a4f66cacf6091530f3d51148df83a08353906496c8ada001b0edd7ac29226dc5