Skip to content
Checking EditorConfig

agdaPackages.generics: Init at 1.0.1 #385815

Sign in to view logs

agdaPackages.generics: Init at 1.0.1

agdaPackages.generics: Init at 1.0.1 #385815

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

editorconfig.yml

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