Mentions légales du service

Skip to content
Snippets Groups Projects

shrinking: a 'subterms' abstraction over Hole

Passed
SCHERER Gabriel created pipeline for commit eedfd95c
, finished
Related merge request !27 to merge typed-holes
merge request
1 job 19 minutes 16 seconds, queued for 2 seconds