idris2.ss: support powerpc #154

Sign in to view logs

Re-run triggered June 24, 2024 13:32

#3326

barracuda156:ppc

Status Success

Total duration 7m 29s

Artifacts –

ci-bootstrap.yml

on: pull_request