Sandbox::https://github.com/agda/agda-stdlib-classes/tree/master/.github/workflows

agda-stdlib-classes/.github/workflows at master · agda/agda-stdlib-classes · GitHub

Repository navigation