Skip to content
melpazoid

chore: delete unused code in "lean4-util.el" (#60) #57

Sign in to view logs

chore: delete unused code in "lean4-util.el" (#60)

chore: delete unused code in "lean4-util.el" (#60) #57

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
2m 18s
2m 18s