Adapt to https://github.com/coq/coq/pull/19530 (#240) #197
JasonGrosspublish.yml
on: push
Build distribution 📦
40s
Matrix: build-standalone
Bump package version
0s
Sign the Python 🐍 distribution 📦 with Sigstore and upload them to GitHub Release
0s
check-publish
0s
Annotations
4 warnings and 1 notice
|
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
|
|
TestPyPI: Publish Python 🐍 distribution 📦
Generating and uploading digital attestations
|
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 |
|