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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
action
1s
1s