Merge branch 'coq8.11' into rpc · coq-tactician/coq-tactician-api@479c0da

Triggered via push October 23, 2023 00:12

rpc

Status Failure

Total duration 17m 50s

Artifacts 1

ci_pytact.yml

on: push

Matrix: build_wheels

2 errors

Command ['python', '-m', 'pip', 'wheel', PurePosixPath('/project'), '--wheel-dir=/tmp/cibuildwheel/built_wheel', '--no-deps'] failed with code 1.

Process completed with exit code 1.

Produced during runtime

Name	Size
artifact Expired	13 MB