Skip to content
This repository has been archived by the owner on Jul 17, 2024. It is now read-only.

avoid pre-releases #206

Merged
merged 1 commit into from
Jul 20, 2023
Merged

avoid pre-releases #206

merged 1 commit into from
Jul 20, 2023

Conversation

Graur
Copy link
Contributor

@Graur Graur commented Jul 20, 2023

#205


PR-Codex overview

This PR focuses on adding a pre-release check to the release script and updating the Maven version during release.

Detailed summary

  • Added a pre field to the release script to disable pre-release checks.
  • Updated the Maven version to the value provided in the tag variable during release.

✨ Ask PR-Codex anything about this PR by commenting with /codex {your question}

@Graur
Copy link
Contributor Author

Graur commented Jul 20, 2023

@yegor256 Please have a look

@yegor256 yegor256 merged commit 4ee7aa1 into objectionary:master Jul 20, 2023
@Graur Graur deleted the 205 branch July 21, 2023 07:56
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants