Skip to content
CI

Add setup.py / pip packaging #1499

Sign in to view logs

Add setup.py / pip packaging

Add setup.py / pip packaging #1499

Triggered via pull request October 19, 2023 18:32
@JasonGrossJasonGross
synchronize #166
pip
Status Cancelled
Total duration 51m 16s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

ci.yml

on: pull_request
Matrix: build
Matrix: docker-build
check-all
4s
check-all
Fit to window
Zoom out
Zoom in

Annotations

92 errors
build (3.11, installed, 8.10.2, coq-8.10.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
Process completed with exit code 2.
build (3.11, installed, 8.11.2, coq-8.11.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
Process completed with exit code 2.
build (3.11, installed, 8.13.2, coq-8.13.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
Process completed with exit code 2.
build (3.11, installed, 8.12.2, coq-8.12.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
Process completed with exit code 2.
build (3.11, installed, 8.15.0, coq-8.14.0, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
Process completed with exit code 2.
build (3.11, local, 8.11.2, coq-8.11.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
Process completed with exit code 2.
build (3.11, local, 8.13.2, coq-8.13.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
Process completed with exit code 2.
build (3.11, local, 8.14.1, coq-8.14.1, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
Process completed with exit code 2.
build (3.11, installed, 8.14.1, coq-8.14.1, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
Process completed with exit code 2.
build (3.11, local, 8.10.2, coq-8.10.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
Process completed with exit code 2.
build (3.11, local, 8.12.2, coq-8.12.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
Process completed with exit code 2.
build (3.11, local, 8.15.0, coq-8.14.0, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
Process completed with exit code 2.
build (3.5, installed, 8.10.2, coq-8.10.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
You are using pip version 20.3.4, however version 23.3 is available. You should consider upgrading via the 'pip install --upgrade pip' command.
build (3.5, installed, 8.10.2, coq-8.10.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
Process completed with exit code 2.
build (3.5, installed, 8.13.2, coq-8.13.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
Process completed with exit code 2.
build (3.5, installed, 8.13.2, coq-8.13.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
You are using pip version 20.3.4, however version 23.3 is available. You should consider upgrading via the 'pip install --upgrade pip' command.
build (3.5, installed, 8.11.2, coq-8.11.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
You are using pip version 20.3.4, however version 23.3 is available. You should consider upgrading via the 'pip install --upgrade pip' command.
build (3.5, installed, 8.11.2, coq-8.11.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
Process completed with exit code 2.
build (3.5, installed, 8.14.1, coq-8.14.1, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
You are using pip version 20.3.4, however version 23.3 is available. You should consider upgrading via the 'pip install --upgrade pip' command.
build (3.5, installed, 8.14.1, coq-8.14.1, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
Process completed with exit code 2.
build (3.5, local, 8.13.2, coq-8.13.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
You are using pip version 20.3.4, however version 23.3 is available. You should consider upgrading via the 'pip install --upgrade pip' command.
build (3.5, local, 8.13.2, coq-8.13.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
Process completed with exit code 2.
build (3.5, local, 8.12.2, coq-8.12.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
Process completed with exit code 2.
build (3.5, local, 8.12.2, coq-8.12.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
You are using pip version 20.3.4, however version 23.3 is available. You should consider upgrading via the 'pip install --upgrade pip' command.
build (3.5, local, 8.11.2, coq-8.11.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
Process completed with exit code 2.
build (3.5, local, 8.11.2, coq-8.11.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
You are using pip version 20.3.4, however version 23.3 is available. You should consider upgrading via the 'pip install --upgrade pip' command.
build (3.5, installed, 8.15.0, coq-8.14.0, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
Process completed with exit code 2.
build (3.5, installed, 8.15.0, coq-8.14.0, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
You are using pip version 20.3.4, however version 23.3 is available. You should consider upgrading via the 'pip install --upgrade pip' command.
build (3.5, installed, 8.12.2, coq-8.12.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
Process completed with exit code 2.
build (3.5, installed, 8.12.2, coq-8.12.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
You are using pip version 20.3.4, however version 23.3 is available. You should consider upgrading via the 'pip install --upgrade pip' command.
build (3.5, local, 8.15.0, coq-8.14.0, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
Process completed with exit code 2.
build (3.5, local, 8.15.0, coq-8.14.0, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
You are using pip version 20.3.4, however version 23.3 is available. You should consider upgrading via the 'pip install --upgrade pip' command.
build (3.5, local, 8.14.1, coq-8.14.1, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
Process completed with exit code 2.
build (3.5, local, 8.14.1, coq-8.14.1, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
You are using pip version 20.3.4, however version 23.3 is available. You should consider upgrading via the 'pip install --upgrade pip' command.
build (3.5, local, 8.10.2, coq-8.10.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
Process completed with exit code 2.
build (3.5, local, 8.10.2, coq-8.10.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
You are using pip version 20.3.4, however version 23.3 is available. You should consider upgrading via the 'pip install --upgrade pip' command.
build (3.6, installed, 8.13.2, coq-8.13.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
The run was canceled by @JasonGross.
build (3.6, installed, 8.12.2, coq-8.12.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
The run was canceled by @JasonGross.
build (3.8, local, 8.13.2, coq-8.13.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
The run was canceled by @JasonGross.
build (3.8, local, 8.14.1, coq-8.14.1, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
The run was canceled by @JasonGross.
build (3.6, local, 8.13.2, coq-8.13.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
The run was canceled by @JasonGross.
build (3.6, local, 8.11.2, coq-8.11.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
The run was canceled by @JasonGross.
build (3.8, local, 8.12.2, coq-8.12.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
The run was canceled by @JasonGross.
build (3.6, installed, 8.15.0, coq-8.14.0, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
The run was canceled by @JasonGross.
build (3.7, installed, 8.12.2, coq-8.12.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
The run was canceled by @JasonGross.
build (3.6, local, 8.15.0, coq-8.14.0, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
The run was canceled by @JasonGross.
build (3.6, local, 8.10.2, coq-8.10.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
The run was canceled by @JasonGross.
build (3.7, installed, 8.11.2, coq-8.11.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
The run was canceled by @JasonGross.
build (3.6, local, 8.14.1, coq-8.14.1, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
The run was canceled by @JasonGross.
build (3.6, installed, 8.14.1, coq-8.14.1, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
The run was canceled by @JasonGross.
build (3.7, installed, 8.10.2, coq-8.10.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
The run was canceled by @JasonGross.
build (3.6, local, 8.12.2, coq-8.12.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
The run was canceled by @JasonGross.
build (3.8, local, 8.15.0, coq-8.14.0, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
The run was canceled by @JasonGross.
build (3.8, installed, 8.12.2, coq-8.12.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
The run was canceled by @JasonGross.
build (3.8, installed, 8.12.2, coq-8.12.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
The operation was canceled.
build (3.6, installed, 8.10.2, coq-8.10.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
The run was canceled by @JasonGross.
build (3.6, installed, 8.10.2, coq-8.10.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
The operation was canceled.
build (3.7, local, 8.15.0, coq-8.14.0, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
The run was canceled by @JasonGross.
build (3.7, local, 8.15.0, coq-8.14.0, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
The operation was canceled.
build (3.7, installed, 8.14.1, coq-8.14.1, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
The run was canceled by @JasonGross.
build (3.7, installed, 8.14.1, coq-8.14.1, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
The operation was canceled.
build (3.7, installed, 8.15.0, coq-8.14.0, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
The run was canceled by @JasonGross.
build (3.7, installed, 8.15.0, coq-8.14.0, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
The operation was canceled.
build (3.8, local, 8.10.2, coq-8.10.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
The run was canceled by @JasonGross.
build (3.8, local, 8.10.2, coq-8.10.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
The operation was canceled.
build (3.8, installed, 8.11.2, coq-8.11.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
The run was canceled by @JasonGross.
build (3.8, installed, 8.11.2, coq-8.11.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
The operation was canceled.
build (3.8, installed, 8.14.1, coq-8.14.1, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
The run was canceled by @JasonGross.
build (3.8, installed, 8.14.1, coq-8.14.1, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
The operation was canceled.
build (3.7, local, 8.14.1, coq-8.14.1, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
The run was canceled by @JasonGross.
build (3.7, local, 8.14.1, coq-8.14.1, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
The operation was canceled.
build (3.7, local, 8.10.2, coq-8.10.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
The run was canceled by @JasonGross.
build (3.7, local, 8.10.2, coq-8.10.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
The operation was canceled.
build (3.6, installed, 8.11.2, coq-8.11.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
The run was canceled by @JasonGross.
build (3.7, local, 8.13.2, coq-8.13.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
The run was canceled by @JasonGross.
build (3.6, installed, 8.11.2, coq-8.11.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
The operation was canceled.
build (3.7, local, 8.13.2, coq-8.13.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
The operation was canceled.
build (3.8, local, 8.11.2, coq-8.11.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
The run was canceled by @JasonGross.
build (3.8, local, 8.11.2, coq-8.11.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
The operation was canceled.
build (3.8, installed, 8.10.2, coq-8.10.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
The run was canceled by @JasonGross.
build (3.8, installed, 8.10.2, coq-8.10.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
The operation was canceled.
build (3.8, installed, 8.15.0, coq-8.14.0, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
The run was canceled by @JasonGross.
build (3.8, installed, 8.15.0, coq-8.14.0, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
The operation was canceled.
build (3.7, installed, 8.13.2, coq-8.13.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
The run was canceled by @JasonGross.
build (3.7, installed, 8.13.2, coq-8.13.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
The operation was canceled.
build (3.8, installed, 8.13.2, coq-8.13.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
The run was canceled by @JasonGross.
build (3.8, installed, 8.13.2, coq-8.13.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
The operation was canceled.
build (3.7, local, 8.12.2, coq-8.12.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
The run was canceled by @JasonGross.
build (3.7, local, 8.12.2, coq-8.12.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
The operation was canceled.
build (3.7, local, 8.11.2, coq-8.11.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
The run was canceled by @JasonGross.
build (3.7, local, 8.11.2, coq-8.11.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
The operation was canceled.
check-all
Process completed with exit code 1.