[ experim, revert ] Revert "idris2.ss: support powerpc" #32

Sign in to view logs

Triggered via push July 1, 2024 11:56

buzden

memo-lazy-experiment

Status Success

Total duration 7m 39s

Artifacts –

ci-bootstrap.yml

on: push