chore: remove deprecated ubuntu 20.04 from CI#1083
Merged
martin-schulze-vireso merged 3 commits intomasterfrom May 1, 2025
Merged
chore: remove deprecated ubuntu 20.04 from CI#1083martin-schulze-vireso merged 3 commits intomasterfrom
martin-schulze-vireso merged 3 commits intomasterfrom