The source project of this merge request has been removed.
ci: Update Docker container
The Docker container we were using for CI has been removed: gtk@ed412f43. Use the latest docker image, and update the CI script as necessary.
The Docker container we were using for CI has been removed: gtk@ed412f43. Use the latest docker image, and update the CI script as necessary.