Hopeful compatibility with coq/coq#19599 #180
Triggered via pull request
October 24, 2024 04:55
JasonGross
Status
Success
Total duration
1h 22m 18s
Artifacts
5
publish.yml
on: pull_request
Build distribution 📦
15s
Matrix: build-standalone
Bump package version
0s
Sign the Python 🐍 distribution 📦 with Sigstore and upload them to GitHub Release
0s
check-publish
0s
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
|
33.3 MB |
|