Minor tweak to optional pages job for gitlab CI
David Dickinson
Branch: minor/update_gitlab_to_avoid_blocking_on_manual_action
Branch: next
Merged
Merged pull request
Merged in minor/update_gitlab_to_avoid_blocking_on_manual_action (pull request #354)
Prevents the pipeline from blocking on completion of the optional pages job.
Still requires pages to be built when explicitly requested in commit or on appropriate branches.