Skip to content
Snippets Groups Projects

Annotate telescope notations to support literal telescope arguments.

Passed
Janno created pipeline for commit 0ab4fb1e
, finished
Related merge request !375 to merge janno/fix-TargS-notation
merge request
2 jobs 9 minutes 4 seconds, queued for 3 seconds