2024-07-25 15:42:08 +00:00
|
|
|
on:
|
|
|
|
|
push:
|
|
|
|
|
branches:
|
|
|
|
|
- main
|
|
|
|
|
pull_request:
|
|
|
|
|
|
|
|
|
|
jobs:
|
|
|
|
|
lint:
|
|
|
|
|
runs-on: ubuntu-latest
|
|
|
|
|
steps:
|
|
|
|
|
- uses: actions/checkout@v4
|
|
|
|
|
- name: Install devbox
|
2024-08-01 17:04:25 +00:00
|
|
|
uses: jetify-com/devbox-install-action@060be5a8f69feff899b73193cadfcaacd5b88310
|
2024-07-25 15:42:08 +00:00
|
|
|
with:
|
2024-08-01 17:47:02 +00:00
|
|
|
enable-cache: false
|
2024-08-01 17:32:05 +00:00
|
|
|
github-token: "${{ secrets.NIX_GITHUB_TOKEN }}"
|
2024-07-25 15:42:08 +00:00
|
|
|
|
|
|
|
|
- run: devbox run -- just lint
|
