test-p4c-ubuntu-18.04

Replace most mentions of Ubuntu 20.04 with 22.04 #4583

Sign in to view logs

Triggered via pull request March 4, 2025 04:58

jafingerhut

synchronize #5156

jafingerhut:remove-ubuntu-20.04-from-ci

Status Skipped

Total duration 2s

Artifacts –

ci-ubuntu-18-nightly.yml

on: pull_request