Skip to content
Backport

agdaPackages.generics: Init at 1.0.1 #840082

Sign in to view logs

agdaPackages.generics: Init at 1.0.1

agdaPackages.generics: Init at 1.0.1 #840082

Triggered via pull request July 1, 2024 15:11
@turionturion
closed #153757
Status Success
Total duration 22s
Artifacts –

backport.yml

on: pull_request_target
Backport Pull Request
14s
Backport Pull Request
Fit to window
Zoom out
Zoom in