Skip to content
Snippets Groups Projects

Update formal syntax to allow extra args and sorted contexts

Passed
Hans-Jörg created pipeline for commit 5107e789
, finished
For master
1 job 2 minutes 9 seconds, queued for 3 seconds