Skip to content
Build agda-core

clarification in the nix build #2

Sign in to view logs

clarification in the nix build

clarification in the nix build #2

Triggered via push January 16, 2024 10:45
@liesnikovliesnikov
pushed 3804bfe
main
Status Success
Total duration 1m 9s
Artifacts –

agda-core-build.yml

on: push
build
59s
build
Fit to window
Zoom out
Zoom in