Skip to content

ci: add dialyzer on CI #183

ci: add dialyzer on CI

ci: add dialyzer on CI #183

Workflow file for this run

name: "[Build] Server"
on:
push:
branches: [ "master" ]
paths:
- .github/workflows/**
- server/**
- flake.nix
- flake.lock
pull_request:
branches: [ "master" ]
paths:
- .github/workflows/**
- server/**
- flake.nix
- flake.lock
permissions:
contents: read
env:
PGHOST: localhost
PGPORT: 5432
PGPASSWORD: admin
PGUSER: admin
PGDATABASE: mmo
jobs:
build:
name: Build and Test
runs-on: ubuntu-latest
services:
postgres:
image: postgres:16-bookworm
env:
POSTGRES_PASSWORD: ${{ env.PGPASSWORD }}
POSTGRES_USER: ${{ env.PGUSER }}
POSTGRES_DB: ${{ env.PGDATABASE }}
options: >-
--health-cmd pg_isready
--health-interval 10s
--health-timeout 10s
--health-retries 5
ports:
- 5432:5432
steps:
- name: Checkout
uses: actions/checkout@v4
with:
lfs: true
- name: Install Nix
uses: cachix/install-nix-action@v26
with:
# Mostly to avoid GitHub rate limiting
extra_nix_config: |
access-tokens = github.com=${{ github.token }}
- name: Install Nix Cache
uses: DeterminateSystems/magic-nix-cache-action@main
- name: "[Server] Build"
run: |
nix build .#server
- name: "[Server] Tests"
run: |
nix develop .#ci --impure -c just test
# Disable "continue-on-error" once we fix the current dializer issues
- name: "[Server] Run Dialyzer"
continue-on-error: true
run: |
nix develop .#ci --impure -c just d
- name: "[Database] Check Migrations"
run: |
nix develop .#ci --impure -c just dbu
- name: "[Database] Check Input Generation"
run: |
nix develop .#ci --impure -c just dbi