Hopeful compatibility with coq/coq#19599 (#237) #181
JasonGrosspublish.yml
on: push
Build distribution 📦
11s
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 |
|