Nix CI

Merge pull request #400 from agda/orestis/fix-web-lib-test #166

Sign in to view logs

Triggered via push March 11, 2025 11:20

omelkonian

master

Status Success

Total duration 2m 39s

Artifacts –

nix-ci.yml

on: push

Test building inside a nix shell

Matrix: nix-build