Skip to content
Snippets Groups Projects

Initialize plugins for `:set +c` in GHCi

Passed
Chris Wendt created pipeline for commit 872d0121
, finished
Related merge request !10133 to merge initialize-plugins-for-set-plus-c-in-ghci
latest merge request
17 jobs 116 minutes 44 seconds, queued for 2 seconds