Check shell

agdaPackages.generics: Init at 1.0.1 #584

Sign in to view logs

Triggered via pull request July 1, 2024 14:44

turion

synchronize #153757

Status Success

Total duration 1m 37s

Artifacts –

check-shell.yml

on: pull_request_target