setup-agda icon indicating copy to clipboard operation
setup-agda copied to clipboard
verified publisher icon wenkokke

Reduce the number of macOS and Windows runners

Open wenkokke opened this issue 2 years ago • 0 comments

We could reduce the number of macOS and Windows runners by batching the setup tests, sequentially running several setup tests on each runner.

wenkokke avatar Jun 13 '23 09:06 wenkokke