Skip to content
Snippets Groups Projects

Update testsuite rests to adjust for outcomes from constructors being tagged.

Failed
Andreas Klebinger created pipeline for commit 743372e3
, finished
Related merge request !8840 to merge wip/andreask/ghci-tag-nullary
merge request
29 jobs 243 minutes 56 seconds, queued for 7 seconds