CI: Make a wheel · leanprover/KLR@f4f6fa9

Triggered via push February 8, 2025 17:39

seanmcl

sm/02-wheel2

Status Success

Total duration 5m 3s

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