Skip to content
Set pending OfBorg status

agdaPackages.generics: Init at 1.0.1 #219264

Sign in to view logs

agdaPackages.generics: Init at 1.0.1

agdaPackages.generics: Init at 1.0.1 #219264

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

ofborg-pending.yml

on: pull_request_target
action
1s
action
Fit to window
Zoom out
Zoom in