Bootstrap

idris2.ss: support powerpc #152

Sign in to view logs

Re-run triggered June 23, 2024 10:31

#3326

barracuda156:ppc

Status Success

Total duration 7m 45s

Artifacts –

ci-bootstrap.yml

on: pull_request