Merge branch 'new' of gitlab.mpi-sws.org:FP/semantics-course into new
Failed
Lennard Gäher
created pipeline for commit
03cda3b2
, finished
For new
10 seconds, queued for 10 seconds