Skip to content
Nix Agda CI

Fix testsuite #39

Sign in to view logs

Fix testsuite

Fix testsuite #39

Triggered via pull request May 17, 2024 17:55
@phijorphijor
opened #152
phijor:fix-testsuite
Status Success
Total duration 2m 10s
Artifacts –

nix-agda.yml

on: pull_request
Matrix: Nix Agda
Fit to window
Zoom out
Zoom in