Skip to content
Nix CI

Move agda2hs.agda-lib into lib directory and rename to base.agda-lib #177

Sign in to view logs

Move agda2hs.agda-lib into lib directory and rename to base.agda-lib

Move agda2hs.agda-lib into lib directory and rename to base.agda-lib #177

Triggered via pull request April 11, 2025 13:24
@HeinrichApfelmusHeinrichApfelmus
synchronize #405
HeinrichApfelmus:HeinrichApfelmus/move-agda2hs-lib
Status Success
Total duration 2m 6s
Artifacts –

nix-ci.yml

on: pull_request
Test building inside a nix shell
2m 2s
Test building inside a nix shell
Matrix: nix-build
Fit to window
Zoom out
Zoom in