Bump Ubuntu version for CI, remove unused option (#631)
Bump Ubuntu version for CI, remove unused option (#631)


operasoftware/devopera,operasoftware/devopera,operasoftware/devopera,operasoftware/devopera