Add a task to build static documentation page (for GitLab Pages)

2 jobs for master in 46 seconds (queued for 2 seconds)
Name Stage Failure
failed
run_tests Test There is an unknown failure, please try again
No job log
failed
pages Test There is an unknown failure, please try again
No job log