Skip to content

Add PyPI publishing setup#3

Merged
Am1n3e merged 1 commit intomainfrom
add-pipy-package
Jan 7, 2026
Merged

Add PyPI publishing setup#3
Am1n3e merged 1 commit intomainfrom
add-pipy-package

Conversation

@Am1n3e
Copy link
Copy Markdown
Contributor

@Am1n3e Am1n3e commented Jan 7, 2026

Summary

  • Add GitHub Actions workflow for PyPI publishing using trusted publishing (OIDC)
  • Update installation docs to use pip install webarena-verified
  • Add PyPI badge to README
  • Update version to 1.0.0
  • Add data format documentation

Test plan

  • Verify workflow file is correct
  • Create GitHub environment named pypi
  • Configure trusted publisher on PyPI
  • Create release with tag v1.0.0 to trigger publish

@Am1n3e Am1n3e requested a review from Copilot January 7, 2026 16:25
@Am1n3e Am1n3e merged commit cd04cb7 into main Jan 7, 2026
4 checks passed
@Am1n3e Am1n3e deleted the add-pipy-package branch January 7, 2026 16:28
Copy link
Copy Markdown

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

This PR sets up PyPI publishing infrastructure and updates documentation to reflect the package's availability on PyPI, marking the 1.0.0 release milestone.

  • Updates version from 1.0.0-rc.12 to 1.0.0 and configures package build settings
  • Adds GitHub Actions workflow for automated PyPI publishing using OIDC trusted publishing
  • Updates installation documentation to use pip install webarena-verified instead of local installation

Reviewed changes

Copilot reviewed 9 out of 11 changed files in this pull request and generated 1 comment.

Show a summary per file
File Description
pyproject.toml Version bump to 1.0.0, build configuration updates, and added twine dev dependency
mkdocs.yml Restructured navigation to move changelog and add data format documentation
docs/index.md Updated quick start guide to use PyPI installation instead of local editable install
docs/getting_started/usage.md Added PyPI installation instructions section
docs/getting_started/data_format.md New comprehensive documentation on data format and changes from WebArena
docs/contributing/local-development.md Added note distinguishing contributor setup from end-user installation
docs/changelog/index.md Simplified to reference GitHub releases instead of inline documentation
README.md Added PyPI badge and updated installation instructions
.gitignore Added .claude/ directory to gitignore
.github/workflows/publish-pypi.yml New GitHub Actions workflow for automated PyPI publishing

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

Comment thread docs/index.md

- Python 3.11+

Clone the repository and install dependencies:
Copy link

Copilot AI Jan 7, 2026

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This heading is misleading since the instructions that follow install from PyPI, not from a local clone. The repository cloning is only for accessing example files. Consider rephrasing to 'Clone the repository for examples:' or 'Install WebArena-Verified:' to better reflect the actual instructions.

Suggested change
Clone the repository and install dependencies:
Install WebArena-Verified and clone examples:

Copilot uses AI. Check for mistakes.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants