Nix Agda CI

ci: Run stack tests in default Nix shell #15

Sign in to view logs

Triggered via push April 11, 2024 19:40

phijor

fix-testsuite

Status Success

Total duration 2m 52s

Artifacts –

nix-agda.yml

on: push

Matrix: Nix Agda