Skip to content

chore: update github ci tools to ubuntu 22.04#965

Merged
vaeng merged 3 commits intomainfrom
chore--update-github-ci-tools-to-ubuntu22.04
May 6, 2025
Merged

chore: update github ci tools to ubuntu 22.04#965
vaeng merged 3 commits intomainfrom
chore--update-github-ci-tools-to-ubuntu22.04

Commits

Commits on May 6, 2025