Skip to content
Check whether nix files are parseable

agdaPackages.generics: Init at 1.0.1 #71670

Sign in to view logs

agdaPackages.generics: Init at 1.0.1

agdaPackages.generics: Init at 1.0.1 #71670

Triggered via pull request July 1, 2024 14:44
@turionturion
synchronize #153757
Status Success
Total duration 30s
Artifacts –

nix-parse.yml

on: pull_request_target
tests
19s
tests
Fit to window
Zoom out
Zoom in