2024-11-21 18:52:57 +00:00
|
|
|
name: CI
|
|
|
|
|
|
|
|
on:
|
|
|
|
push:
|
|
|
|
pull_request:
|
|
|
|
workflow_dispatch:
|
|
|
|
|
|
|
|
defaults:
|
|
|
|
run:
|
|
|
|
shell: bash
|
|
|
|
|
|
|
|
jobs:
|
|
|
|
fmt:
|
|
|
|
runs-on: ubuntu-latest
|
|
|
|
steps:
|
|
|
|
- name: Checkout repository
|
|
|
|
uses: actions/checkout@v4
|
|
|
|
|
|
|
|
- name: Install tooling
|
|
|
|
uses: CompeyDev/setup-rokit@v0.1.2
|
|
|
|
with:
|
|
|
|
cache: true
|
|
|
|
|
|
|
|
- name: Check formatting
|
|
|
|
run: lune run fmt -- --check
|
|
|
|
|
2024-11-21 18:55:13 +00:00
|
|
|
typecheck:
|
2024-11-21 18:52:57 +00:00
|
|
|
needs: ["fmt"]
|
|
|
|
runs-on: ubuntu-latest
|
|
|
|
steps:
|
|
|
|
- name: Checkout repository
|
|
|
|
uses: actions/checkout@v4
|
|
|
|
|
|
|
|
- name: Install tooling
|
|
|
|
uses: CompeyDev/setup-rokit@v0.1.2
|
|
|
|
with:
|
|
|
|
cache: true
|
|
|
|
|
|
|
|
- name: Install pesde
|
|
|
|
uses: ./.github/workflows/pesde.yml
|
|
|
|
with:
|
|
|
|
pesde-token: ${{ secrets.PESDE_TOKEN }}
|
|
|
|
|
|
|
|
- name: Install dependencies
|
|
|
|
run: pesde install
|
|
|
|
|
2024-11-21 18:55:13 +00:00
|
|
|
- name: Typecheck
|
|
|
|
run: lune run typecheck
|
2024-11-21 18:52:57 +00:00
|
|
|
|
2024-11-21 18:55:13 +00:00
|
|
|
test:
|
|
|
|
needs: ["typecheck"]
|
2024-11-21 18:52:57 +00:00
|
|
|
runs-on: ubuntu-latest
|
|
|
|
steps:
|
|
|
|
- name: Checkout repository
|
|
|
|
uses: actions/checkout@v4
|
|
|
|
|
|
|
|
- name: Install tooling
|
|
|
|
uses: CompeyDev/setup-rokit@v0.1.2
|
|
|
|
with:
|
|
|
|
cache: true
|
|
|
|
|
|
|
|
- name: Install pesde
|
|
|
|
uses: ./.github/workflows/pesde.yml
|
|
|
|
with:
|
|
|
|
pesde-token: ${{ secrets.PESDE_TOKEN }}
|
|
|
|
|
|
|
|
- name: Install dependencies
|
|
|
|
run: pesde install
|
|
|
|
|
2024-11-21 18:55:13 +00:00
|
|
|
- name: Run tests
|
|
|
|
run: lune run tests
|