Skip to content
This repository was archived by the owner on Aug 31, 2026. It is now read-only.

Remove HEAD documentation publishing - #211

Merged
lopopolo merged 1 commit into
trunkfrom
codex/remove-head-docs
Aug 30, 2026
Merged

Remove HEAD documentation publishing#211
lopopolo merged 1 commit into
trunkfrom
codex/remove-head-docs

Conversation

@lopopolo

Copy link
Copy Markdown
Member

Summary

  • remove the workflow that builds and publishes API documentation from trunk
  • remove the README badge that links to the retired HEAD documentation site

Released API documentation remains available on docs.rs.

Validation

  • git diff --check
  • verified the repository contains no remaining gh-pages or Artichoke GitHub Pages references

@lopopolo lopopolo added A-build Area: CI build infrastructure. C-docs Category: Improvements or additions to documentation. labels Aug 30, 2026
@lopopolo
lopopolo merged commit a1a42d8 into trunk Aug 30, 2026
12 of 13 checks passed
@lopopolo
lopopolo deleted the codex/remove-head-docs branch August 30, 2026 21:40
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

A-build Area: CI build infrastructure. C-docs Category: Improvements or additions to documentation.

Development

Successfully merging this pull request may close these issues.

1 participant