Skip to content
Nix Agda CI

Reduce closure size of Nix derivation #35

Sign in to view logs

Reduce closure size of Nix derivation

Reduce closure size of Nix derivation #35

Triggered via pull request April 7, 2024 17:06
@phijorphijor
opened #146
phijor:reduce-closure-size
Status Success
Total duration 3m 13s
Artifacts –

nix-agda.yml

on: pull_request
Matrix: Nix Agda
Fit to window
Zoom out
Zoom in