y · leanprover/KLR@620775a

Triggered via push February 7, 2025 22:59

seanmcl

sm/02-wheel2

Status Success

Total duration 5m 9s

Artifacts 1

ci.yml

on: push

Matrix: build

1 warning

PyPy builds will be disabled by default in version 3. Enabling PyPy builds should be specified by enable

Produced during runtime

Name	Size
cibw-wheels-macos-latest-0	244 MB