CI: Make a wheel · leanprover/KLR@b361982

Triggered via pull request February 8, 2025 17:36

seanmcl

synchronize #37

sm/02-wheel2

Status Failure

Total duration 2m 1s

Artifacts –

ci.yml

on: pull_request

Matrix: build

3 errors and 2 warnings

Process completed with exit code 5.

The job was canceled because "ubuntu-latest" failed.

The operation was canceled.

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

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