Skip to content
Snippets Groups Projects

isIrrefutableHsPat: consider COMPLETE pragmas

Passed
sheaf created pipeline for commit f43c5eb6
, finished
Related merge request !10565 to merge T22004
merge request
17 jobs 210 minutes 6 seconds, queued for 5 seconds