"git@i10git.cs.fau.de:jbadwaik/pystencils.git" did not exist on "5152e4e89c3be03aee8fb2e31793c692cab0c1e4"
Merge branch 'backend-rework' into fhennig/unique-types
1 related merge request: !374 Uniqueness of Data Type Instances
16 jobs
3 minutes 50 seconds, queued for 2 seconds