Skip to content
Checking EditorConfig v2

coqPackages.Perennial: init at unstable-2024-10-17 #25643

Sign in to view logs

coqPackages.Perennial: init at unstable-2024-10-17

coqPackages.Perennial: init at unstable-2024-10-17 #25643

Run time

Learn about OS pricing on GitHub Actions
Job Run time
get-merge-commit / resolve-merge-commit
3s
editorconfig-check
38s
41s