Skip to content

Update GitHub Actions workflow to use Ubuntu 22.04#29

Merged
Robert108 merged 1 commit intomasterfrom
ci_on_ubuntu22_by_default
Jan 14, 2025
Merged

Update GitHub Actions workflow to use Ubuntu 22.04#29
Robert108 merged 1 commit intomasterfrom
ci_on_ubuntu22_by_default

Commits

Commits on Jan 14, 2025