Skip to content
Back to pull request #118

ci: Migrate to GitHub Actions and reusable workflows, part three (final) #6

Sign in to view logs

ci: Migrate to GitHub Actions and reusable workflows, part three (final)

ci: Migrate to GitHub Actions and reusable workflows, part three (final) #6

Soundness  /  Format check

Soundness / Format check
succeeded Oct 2, 2024 in 34s