Skip to content

idris2.ss: support powerpc (#3326) #155

idris2.ss: support powerpc (#3326)

idris2.ss: support powerpc (#3326) #155

Triggered via push June 24, 2024 16:49
Status Success
Total duration 7m 33s
Artifacts

ci-bootstrap.yml

on: push
Fit to window
Zoom out
Zoom in