Skip to content

News entries for 1.4.2 - #13046

Merged
ajreynol merged 1 commit into
cvc5:mainfrom
ajreynol:news-1006
Oct 6, 2026
Merged

ajreynol merged 1 commit into
cvc5:mainfrom
ajreynol:news-1006

Conversation

@ajreynol

@ajreynol ajreynol commented Oct 6, 2026

Copy link
Copy Markdown
Member

No description provided.

@ajreynol
ajreynol requested a review from daniel-larraz October 6, 2026 15:52
@ajreynol ajreynol added normal Priority simple Complexity labels Oct 6, 2026
@ajreynol
ajreynol enabled auto-merge October 6, 2026 16:01
@ajreynol
ajreynol added this pull request to the merge queue Oct 6, 2026
Merged via the queue into cvc5:main with commit 57fc413 Oct 6, 2026
18 checks passed
@ajreynol
ajreynol deleted the news-1006 branch October 6, 2026 17:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

normal Priority simple Complexity

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants