Skip to content

Set gitlab-ci to serve html folder

Jaime Ariasrequested to merge
arias/coq-num-analysis:feature/pages into master

This MR allows using the continuous integration server to serve the html folder using gitlab pages

Merge request reports