Test Action

Default to Agda 2.8.0; cosmetics #16

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
test (macos-latest, 2.3)	11s
test (macos-15-intel, 2.3)	10s
test (windows-latest, 2.3)	24s
test (ubuntu-latest, 2.3)	7s
	52s