Skip to content
Test

Add built-in markdown preview keybindings for literate agda markdown files #1053

Sign in to view logs

Add built-in markdown preview keybindings for literate agda markdown files

Add built-in markdown preview keybindings for literate agda markdown files #1053

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-and-test (windows-latest, Agda-2.6.4)
2m 49s
build-and-test (windows-latest, Agda-2.6.3)
2m 53s
build-and-test (ubuntu-latest, Agda-2.6.4)
1m 44s
build-and-test (ubuntu-latest, Agda-2.6.3)
1m 44s
build-and-test (macos-latest, Agda-2.6.3)
2m 27s
build-and-test (ubuntu-latest, Agda-2.7.0)
1m 56s
build-and-test (macos-latest, Agda-2.7.0)
2m 18s
build-and-test (windows-latest, Agda-2.7.0)
3m 7s
build-and-test (macos-latest, Agda-2.6.4)
2m 26s
21m 24s