Skip to content

Conversation

@YDX-2147483647
Copy link
Member

@YDX-2147483647 YDX-2147483647 commented Jan 7, 2026

Copy link

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 corrects file paths throughout the CI/CD pipeline to reflect the project's src/ directory structure and enables testing of the release workflow without publishing an actual release.

Key changes:

  • Corrects file paths from repository root to src/ directory for bithesis.dtx, bithesis.pdf, and *.cls files
  • Adds workflow_dispatch trigger to allow manual testing of the release workflow
  • Updates conditional logic to prevent actual uploads during test runs
  • Fixes a spelling error in a comment

Reviewed changes

Copilot reviewed 3 out of 3 changed files in this pull request and generated 3 comments.

File Description
scripts/update_version.py Updates the path to bithesis.dtx from root to src/bithesis.dtx
justfile Adds new update-version recipe to expose the version update script for CI
.github/workflows/release.yml Adds workflow_dispatch trigger, corrects artifact paths to src/ directory, adds conditionals to skip uploads during test runs, and fixes spelling in comment

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

Copy link

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.

Copilot encountered an error and was unable to review this pull request. You can try again by re-requesting a review.

@YDX-2147483647 YDX-2147483647 marked this pull request as ready for review January 7, 2026 06:46
@YDX-2147483647 YDX-2147483647 added this pull request to the merge queue Jan 7, 2026
Merged via the queue into BITNP:main with commit 1c348f5 Jan 7, 2026
9 checks passed
@YDX-2147483647 YDX-2147483647 deleted the ci branch January 7, 2026 06:49
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