Skip to content
Test

[ fix #197 ] When reopening a folder, the panel created by Agda-mode … #668

Sign in to view logs

[ fix #197 ] When reopening a folder, the panel created by Agda-mode …

[ fix #197 ] When reopening a folder, the panel created by Agda-mode … #668

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-and-test (windows-latest, Agda-2.6.4)
1m 59s
build-and-test (windows-latest, Agda-2.6.4)
1m 59s
build-and-test (windows-latest, Agda-2.6.4)
1m 59s
build-and-test (windows-latest, Agda-2.7.0)
2m 24s
build-and-test (windows-latest, Agda-2.7.0)
2m 24s
build-and-test (windows-latest, Agda-2.7.0)
2m 24s
build-and-test (ubuntu-latest, Agda-2.6.4)
33s
build-and-test (ubuntu-latest, Agda-2.6.4)
33s
build-and-test (ubuntu-latest, Agda-2.6.4)
33s
build-and-test (ubuntu-latest, Agda-2.7.0)
30s
build-and-test (ubuntu-latest, Agda-2.7.0)
30s
build-and-test (ubuntu-latest, Agda-2.7.0)
30s
build-and-test (macos-latest, Agda-2.6.4)
51s
build-and-test (macos-latest, Agda-2.6.4)
52s
build-and-test (macos-latest, Agda-2.6.4)
37s
build-and-test (macos-latest, Agda-2.7.0)
1m 2s
build-and-test (macos-latest, Agda-2.7.0)
1m 2s
build-and-test (macos-latest, Agda-2.7.0)
1m 2s
21m 44s