Skip to content
Check pkgs/by-name

agdaPackages.generics: Init at 1.0.1 #147899

Sign in to view logs

agdaPackages.generics: Init at 1.0.1

agdaPackages.generics: Init at 1.0.1 #147899

Triggered via pull request July 1, 2024 14:46
@turionturion
edited #153757
Status Success
Total duration 55s
Artifacts –

check-by-name.yml

on: pull_request_target
check
46s
check
Fit to window
Zoom out
Zoom in