Skip to content

chore: gitignore .agda/ .direnv/ *.bak #370

chore: gitignore .agda/ .direnv/ *.bak

chore: gitignore .agda/ .direnv/ *.bak #370

Job Run time
2m 51s
2m 51s