test-p4c-ubuntu-18.04

Replace most mentions of Ubuntu 20.04 with 22.04 #4662

Sign in to view logs

Triggered via pull request March 11, 2025 01:25

jafingerhut

synchronize #5156

jafingerhut:remove-ubuntu-20.04-from-ci

Status Skipped

Total duration 2s

Artifacts –

ci-ubuntu-18-nightly.yml

on: pull_request