Files
soci/.github/workflows
Vadim Zeitlin 593196abba Shorten the Unix GitHub Actions workflow name too
Make it more consistent with "Windows CI" workflow.
2025-06-07 19:04:37 +02:00
..