8000 Replace most mentions of Ubuntu 20.04 with 22.04 by jafingerhut · Pull Request #5156 · p4lang/p4c · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Replace most mentions of Ubuntu 20.04 with 22.04#5156

Merged
fruffy merged 16 commits intop4lang:mainfrom
jafingerhut:remove-ubuntu-20.04-from-ci
Mar 14, 2025
Merged

Replace most mentions of Ubuntu 20.04 with 22.04#5156
fruffy merged 16 commits intop4lang:mainfrom
jafingerhut:remove-ubuntu-20.04-from-ci

Commits

Commits on Mar 2, 2025

Commits on Mar 3, 2025

Commits on Mar 4, 2025

Commits on Mar 10, 2025

Commits on Mar 11, 2025
0