Skip to content

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

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

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

Job Run time
1m 17s
1m 17s