Repository navigation

Tests

Ci: Run the suite daily against the binder, and open an issue when it… #14

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
with-binder	41s
no-binder	24s
report-scheduled-failure	0s
	1m 5s