Skip to content
CI

Try importing multiple agda files (#4) #20

Sign in to view logs

Try importing multiple agda files (#4)

Try importing multiple agda files (#4) #20

Triggered via push June 26, 2024 10:34
@locallycompactlocallycompact
pushed 6b196a0
master
Status Success
Total duration 9m 0s
Artifacts –

ci-nix.yaml

on: push
nix build
8m 50s
nix build
Fit to window
Zoom out
Zoom in