Skip to content
Nix CI

Neaten Agda2Hs.Render #203

Sign in to view logs

Neaten Agda2Hs.Render

Neaten Agda2Hs.Render #203

Triggered via pull request June 3, 2025 11:59
@HeinrichApfelmusHeinrichApfelmus
synchronize #414
HeinrichApfelmus:HeinrichApfelmus/lang-haskell-imports
Status Success
Total duration 1m 28s
Artifacts –

nix-ci.yml

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