Skip to content

Improve Raven highlighting, docs, and CI - #1

Merged
martian56 merged 1 commit into
mainfrom
agent/repository-polish
Jul 15, 2026
Merged

Improve Raven highlighting, docs, and CI#1
martian56 merged 1 commit into
mainfrom
agent/repository-polish

Conversation

@martian56

Copy link
Copy Markdown
Owner

What changed

  • make GitHub render Raven source with Rust highlighting
  • use Rust fences for Raven examples in the README
  • refresh install versions and CI presentation where needed
  • modernize CI with current actions, explicit permissions, timeouts, and documentation checks

Why

GitHub does not recognize Raven yet. These changes give source files and examples readable highlighting while making the repository easier to trust, install, and maintain.

Validation

  • rvpm fmt --check
  • rvpm build
  • rvpm test
  • rvpm doc

@martian56
martian56 merged commit f7ea7c1 into main Jul 15, 2026
3 checks passed
@martian56
martian56 deleted the agent/repository-polish branch July 15, 2026 10:08
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.

1 participant