Skip to content
GitLab

Fix publish docs (#742) 

* `git commit` must always succeed

* Add comment
18 jobs for master in 55 minutes and 53 seconds (queued for 2 seconds)
65c4ba7f
No related merge requests found.