Skip to content
GitLab

Apply 1 suggestion(s) to 1 file(s)

2 jobs for !778 with robbert/primproj_unfold in 8 minutes and 27 seconds (queued for 4 seconds)
latest merge request
53ee592e
1 related merge request: !778 Attempt at avoiding `unfold` to unfold primitive projections.