Skip to content

Adapt to https://github.com/coq/coq/pull/19530 #187

Adapt to https://github.com/coq/coq/pull/19530

Adapt to https://github.com/coq/coq/pull/19530 #187

Triggered via pull request December 5, 2024 07:02
Status Failure
Total duration 3h 26m 22s
Artifacts 5

publish.yml

on: pull_request
Build distribution 📦
13s
Build distribution 📦
Matrix: build-standalone
Bump package version
0s
Bump package version
PiPI: Publish Python 🐍 distribution 📦
0s
PiPI: Publish Python 🐍 distribution 📦
TestPyPI: Publish Python 🐍 distribution 📦
0s
TestPyPI: Publish Python 🐍 distribution 📦
Collect standalone ⛏️
12s
Collect standalone ⛏️
Sign the Python 🐍 distribution 📦 with Sigstore and upload them to GitHub Release
0s
Sign the Python 🐍 distribution 📦 with Sigstore and upload them to GitHub Release
check-publish
0s
check-publish
Fit to window
Zoom out
Zoom in

Annotations

1 error and 4 warnings
check-publish
Process completed with exit code 1.
Build distribution 📦
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Build standalone ⛏️ ubuntu-latest 🐧
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Collect standalone ⛏️
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
check-publish
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Artifacts

Produced during runtime
Name Size
python-package-distributions
208 KB
python-standalone
36.5 MB
python-standalone-macos-latest
51 MB
python-standalone-ubuntu-latest
72 MB
python-standalone-windows-latest
34.9 MB