Skip to content

[ rc ] Idris2 v0.7.0 #143

[ rc ] Idris2 v0.7.0

[ rc ] Idris2 v0.7.0 #143

Triggered via pull request December 22, 2023 13:44
Status Success
Total duration 7m 30s
Artifacts

ci-bootstrap.yml

on: pull_request
Fit to window
Zoom out
Zoom in