This repository was archived by the owner on Aug 28, 2025. It is now read-only.

ci: bump deprecated ubuntu `20.04`#388

Merged

Borda merged 1 commit intomainfrom

May 1, 2025

Commits on May 1, 2025

ci: bump deprecated ubuntu `20.04`
Borda
committed