Skip to content
Snippets Groups Projects

Referenced commit og original POPL20 submission

Passed
Jonas Kastberg created pipeline for commit 6ee424d9
, finished
For master
1 job 6 minutes 9 seconds, queued for 2 seconds