CI: Make a wheel · leanprover/KLR@f4f6fa9

Triggered via pull request February 8, 2025 17:39

seanmcl

synchronize #37

sm/02-wheel2

Status Success

Total duration 4m 34s

Artifacts 1

ci.yml

on: pull_request

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	Digest
cibw-wheels-macos-latest-0	244 MB	`sha256:53a0b3b817fa2140bcdf9421e94f5b74919bd97c3c8c9f3f706c148f2b4af9f2`