Skip to content

Conversation

LBern
Copy link
Contributor

@LBern LBern commented Mar 18, 2022

General

This PR incorporates changes related to the dense mapping constraints.
We have several updates/fixes in the regbox but also in the console plugin.

@LBern LBern mentioned this pull request Mar 18, 2022
3 tasks
@ethzasl-jenkins
Copy link

Test FAILed.

@ethzasl-jenkins
Copy link

Test PASSed.

@LBern LBern requested review from floriantschopp and smauq March 18, 2022 14:04
@LBern LBern changed the base branch from feature/merge_alice to develop November 1, 2022 09:32
Copy link
Member

@smauq smauq left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@ethzasl-jenkins
Copy link

Test FAILed.

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