Skip to content

Conversation

@TomBursch
Copy link
Contributor

No description provided.

@TomBursch TomBursch requested a review from schmalzing December 19, 2025 21:26
@github-actions
Copy link

github-actions bot commented Dec 19, 2025

❌ Changes break the MontiVerse

Project Status
montiarc
details
Project Status
montiarc
umlp
sd
montifun
fd
automaton
sc
guidsl
artifacts
ocl
od
ucd
langexperiments
json
xml
cd2gui
mlc
cd4analysis
monticore_basic
class2mc

The MontiVerse is a collection of (internal and public) language projects.

@schmalzing schmalzing merged commit cc7d7cf into dev Dec 20, 2025
32 of 34 checks passed
@schmalzing schmalzing deleted the comp-synthesize-error branch December 20, 2025 15:21
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