Skip to content

chore: ignore local Agda and tooling caches #369

chore: ignore local Agda and tooling caches

chore: ignore local Agda and tooling caches #369

Job Run time
1m 53s
1m 53s