Build

Merge branch 'coq8.11' into test-pytactician-deployment #167

Sign in to view logs

Triggered via push October 23, 2023 03:23

LasseBlaauwbroek

test-pytactician-deployment

Status Failure

Total duration 29m 1s

Artifacts 1

ci_pytact.yml

on: push

Matrix: build_wheels

Build source distribution

Artifacts

Produced during runtime

Name	Size
artifact Expired	58.6 MB