Nix CI

Add `containers.agda-lib` to `lib` directory #183

Sign in to view logs

Triggered via pull request April 17, 2025 10:17

HeinrichApfelmus

synchronize #406

HeinrichApfelmus:HeinrichApfelmus/add-containers

Status Success

Total duration 2m 48s

Artifacts –

nix-ci.yml

on: pull_request

Test building inside a nix shell

Matrix: nix-build