Skip to content

agdaPackages.generics: Init at 1.0.1 #489682

agdaPackages.generics: Init at 1.0.1

agdaPackages.generics: Init at 1.0.1 #489682

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

labels.yml

on: pull_request_target
Fit to window
Zoom out
Zoom in