Nix CI

Merge pull request #402 from agda/orestis/fix-web-lib-test #170

Sign in to view logs

Triggered via push March 11, 2025 11:24

omelkonian

master

Status Success

Total duration 8m 2s

Artifacts –

nix-ci.yml

on: push

Test building inside a nix shell

Matrix: nix-build