Nix CI

[ #242 ] Implement GADT syntax #316

Sign in to view logs

Triggered via pull request November 28, 2025 21:59

jespercockx

opened #453

gadts

Status Success

Total duration 1m 43s

Artifacts –

nix-ci.yml

on: pull_request

Test building inside a nix shell

Matrix: nix-build