Skip to content

.github: update branch name #283

.github: update branch name

.github: update branch name #283

Annotations

5 warnings

Tests (ubuntu-latest, x86_64-unknown-linux-gnu, stable)

succeeded Dec 16, 2024 in 30s