Skip to content

need to apt update before apt install to make CI happy#15

Merged
bartman merged 2 commits intomasterfrom
tmp
Feb 19, 2026
Merged

need to apt update before apt install to make CI happy#15
bartman merged 2 commits intomasterfrom
tmp

Commits

Commits on Feb 19, 2026