Add --coqlib, --passing-coqlib
#211
Triggered via pull request
January 26, 2025 05:30
JasonGross
Status
Success
Total duration
11h 25m 0s
Artifacts
5
publish.yml
on: pull_request
Build distribution 📦
12s
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
|
209 KB |
|
|
python-standalone
|
36.6 MB |
|
|
python-standalone-macos-latest
|
51.1 MB |
|
|
python-standalone-ubuntu-latest
|
71.3 MB |
|
|
python-standalone-windows-latest
|
34.9 MB |
|