Merge branch 'develop' into security

# Conflicts:
#	core/src/test/java/cz/muni/pa165/CoreIT.java
#	visualization/src/test/java/cz/muni/pa165/rest/VisualizationIT.java

No related branches found

No related tags found

4 merge requests!54Merge develop into main,!48Scenario,!47Docker fix,!44Security

Pipeline #