test-p4c-ubuntu-18.04

Replace most mentions of Ubuntu 20.04 with 22.04 #4657

Sign in to view logs

Triggered via pull request March 10, 2025 18:29

jafingerhut

synchronize #5156

jafingerhut:remove-ubuntu-20.04-from-ci

Status Skipped

Total duration 3s

Artifacts –

ci-ubuntu-18-nightly.yml

on: pull_request