Skip to content

#564 Update Z3 and devcontainer configuration#40

Merged
momvart merged 2 commits into
mainfrom
564-z3
Jul 21, 2026
Merged

#564 Update Z3 and devcontainer configuration#40
momvart merged 2 commits into
mainfrom
564-z3

Conversation

@momvart

@momvart momvart commented Jul 21, 2026

Copy link
Copy Markdown
Contributor

No description provided.

@momvart
momvart merged commit 22d4fd5 into sfu-rsl:main Jul 21, 2026
1 check passed
@momvart
momvart deleted the 564-z3 branch July 21, 2026 14:33
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