Enable new diagnostics on the standard gitlab build

Branch: minor/enable_new_diagnostics_on_one_gitlab_build

Branch: next

Merged

#381 · Created 2020-12-04 · Last updated 2020-12-07

Merged pull request

Merged in minor/enable_new_diagnostics_on_one_gitlab_build (pull request #381)

b2329c5·Author: David Dickinson·Closed by: David Dickinson·2020-12-07

Ensures we run the tests which depend on new diagnostics.