Skip to content
Test

[ fix ] Use platform-specific file system path to ensure proper proce… #1000

Sign in to view logs

[ fix ] Use platform-specific file system path to ensure proper proce…

[ fix ] Use platform-specific file system path to ensure proper proce… #1000

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-and-test (windows-latest, Agda-2.7.0)
2m 46s
2m 46s