Skip to content

Add missing version number to changelog - #3877

Merged
carolynzech merged 1 commit into
model-checking:mainfrom
carolynzech:missing-version-number
Feb 6, 2025
Merged

Add missing version number to changelog#3877
carolynzech merged 1 commit into
model-checking:mainfrom
carolynzech:missing-version-number

Conversation

@carolynzech

Copy link
Copy Markdown
Contributor

By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.

@carolynzech
carolynzech requested a review from a team as a code owner February 6, 2025 16:19
@carolynzech
carolynzech enabled auto-merge February 6, 2025 16:26
@carolynzech
carolynzech added this pull request to the merge queue Feb 6, 2025
Comment thread CHANGELOG.md Outdated
@carolynzech
carolynzech removed this pull request from the merge queue due to a manual request Feb 6, 2025
@carolynzech
carolynzech force-pushed the missing-version-number branch from 9314362 to 98b41da Compare February 6, 2025 18:09
@carolynzech
carolynzech enabled auto-merge February 6, 2025 18:10
@carolynzech
carolynzech added this pull request to the merge queue Feb 6, 2025
Merged via the queue into model-checking:main with commit 94ed3f7 Feb 6, 2025
@carolynzech
carolynzech deleted the missing-version-number branch February 6, 2025 20:14
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.

3 participants