Skip to content
Snippets Groups Projects

Fix bug where setting non-installed GHC unsets current one

Passed
Julian Ospald created pipeline for commit 202f3ea3
, finished
For master
7 jobs 52 minutes 58 seconds, queued for 0 seconds