Skip to content

Conversation

@ppinchuk
Copy link
Collaborator

Add DOI badge and docs GHA

@ppinchuk ppinchuk added this to the Finalize OSS release milestone Sep 22, 2025
@ppinchuk ppinchuk self-assigned this Sep 22, 2025
Copilot AI review requested due to automatic review settings September 22, 2025 05:44
@ppinchuk ppinchuk requested a review from castelao as a code owner September 22, 2025 05:44
@ppinchuk ppinchuk added chore Maintenance work that does not impact the end user p-high Priority: high labels Sep 22, 2025
Copy link
Contributor

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

Adds citation metadata (DOI) and a Zenodo badge, introduces an automated documentation build/deploy GitHub Actions workflow, and removes a stale commented line in code.

  • Add Zenodo DOI badge to README and DOI metadata to CITATION.cff
  • Introduce docs build & deploy workflow (GitHub Pages) on pushes/releases
  • Minor cleanup: remove obsolete commented line in dry_costs_creator.py

Reviewed Changes

Copilot reviewed 4 out of 5 changed files in this pull request and generated 2 comments.

File Description
revrt/costs/dry_costs_creator.py Removes an unused commented-out assignment (minor cleanup).
README.rst Adds Zenodo badge; documentation metadata update only.
CITATION.cff Adds active DOI identifier block.
.github/workflows/docs.yml New workflow to build and publish documentation to gh-pages.

Tip: Customize your code reviews with copilot-instructions.md. Create the file or learn how to get started.

Copy link
Member

@castelao castelao left a comment

Choose a reason for hiding this comment

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

LGTM. In the CITATION we can add references to some of the other software that we use, but I can add later in another PR.

@ppinchuk
Copy link
Collaborator Author

LGTM. In the CITATION we can add references to some of the other software that we use, but I can add later in another PR.

That'd be great! Do we need to open an issue to track this?

@ppinchuk ppinchuk merged commit 8d9fe97 into main Sep 22, 2025
40 of 42 checks passed
@ppinchuk ppinchuk deleted the pp/post_oss branch September 22, 2025 17:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

chore Maintenance work that does not impact the end user p-high Priority: high

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants