Do not use Ubuntu 20.04 in CI#186

remi-delmas-3000 merged 1 commit intomodel-checking:mastermodel-checking/cbmc-viewer:masterfrom

tautschnig:update-citautschnig/cbmc-viewer:update-ciCopy head branch name to clipboard