Skip to content
Yaffle

[ compat ] base now has quantity 0 for cong's argument #110

Sign in to view logs

[ compat ] base now has quantity 0 for cong's argument

[ compat ] base now has quantity 0 for cong's argument #110

Triggered via pull request July 10, 2023 14:26
@gallaisgallais
opened #33
gallais:compat-idris2
Status Success
Total duration 19m 29s
Artifacts –

ci-yaffle.yml

on: pull_request
ubuntu-build
19m 19s
ubuntu-build
Fit to window
Zoom out
Zoom in