Skip to content
Snippets Groups Projects

Fix tlatools directory name in .gitlab-ci.yml

Passed
dgelessus created pipeline for commit 52b3b698
, finished
For master
1 minute 30 seconds, queued for 2 seconds