Skip to content
melpazoid

chore: delete unused code in "lean4-util.el" #54

Sign in to view logs

chore: delete unused code in "lean4-util.el"

chore: delete unused code in "lean4-util.el" #54

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
5m 14s
5m 14s