Skip to content
Nix Agda CI

Merge pull request #146 from phijor/reduce-closure-size #36

Sign in to view logs

Merge pull request #146 from phijor/reduce-closure-size

Merge pull request #146 from phijor/reduce-closure-size #36

Triggered via push April 8, 2024 17:04
@isovectorisovector
pushed 9d3347e
master
Status Success
Total duration 2m 37s
Artifacts –

nix-agda.yml

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