Skip to content
Check pkgs/by-name

agdaPackages.generics: Init at 1.0.1 #147897

Sign in to view logs

agdaPackages.generics: Init at 1.0.1

agdaPackages.generics: Init at 1.0.1 #147897

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

check-by-name.yml

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