Skip to content
Publish Python 🐍 distribution 📦 to PyPI and TestPyPI

Add Babylonian method Cauchy sequence proof with key lemmas #68

Sign in to view logs

Add Babylonian method Cauchy sequence proof with key lemmas

Add Babylonian method Cauchy sequence proof with key lemmas #68

This workflow is awaiting approval from a maintainer
Triggered via push February 9, 2026 00:19
@CopilotCopilot
pushed 49d8467
copilot/prove-babylonian-method-cauchy
Status Action required
Total duration –
Artifacts –
This workflow is awaiting approval from a maintainer

publish.yml

on: push
Matrix: Build distribution 📦
Waiting for pending jobs
Publish Python 🐍 distribution 📦 to PyPI
Publish Python 🐍 distribution 📦 to PyPI
Fit to window
Zoom out
Zoom in