Nix CI

Merge pull request #401 from agda/orestis/fix-web-lib-test #168

Sign in to view logs

Triggered via push March 11, 2025 11:23

omelkonian

master

Status Success

Total duration 3m 8s

Artifacts –

nix-ci.yml

on: push

Test building inside a nix shell

Matrix: nix-build