Skip to content

Update path to CI file, add Docker image version

Wayne Lewis requested to merge ci into devel

This change points to the official location for the CI script. It also uses the require-3.3.0 version, which is consistent with the version defined in configure/RELEASE. When require is updated, we can change to the latest version of the CI script.

Merge request reports