Lavínia Beghini

Create test pipeline

1

This pipeline should be triggered whenever a pull request is opened and merged on the main branch.

This pipeline should be triggered manually, and also when a milestone closes. It should have one pipeline for each Operational System. Follow the documented configurations for each of them: -...

> Lint, or a linter, is a static code analysis tool used to flag programming errors, bugs, stylistic errors and suspicious constructs. [^1] That being said, it is important for...

Insert a filtering step based on forbidden subgroups in the wizard. The user can select or draw the desired forbidden graphs.

The idea is to allow the user to modify its project description text in order to add bold, italic or underlined texts. There is already an reference using pyqt: https://github.com/gen2brain/pyhtmleditor

The invariants at the info dock are shown with the same precision for float numbers. The idea is to add somewhere an slider where the user can choose which precision...

Although we fixed the graph plotting problem in #394, in which the plots kept getting smaller when opened, unfortunately now the scaling of the plots are smaller than the borders...