Skip to content
melpazoid

Fix incorrect syntax highlighting on lean4-debugging keyword (#61) #71

Sign in to view logs

Fix incorrect syntax highlighting on lean4-debugging keyword (#61)

Fix incorrect syntax highlighting on lean4-debugging keyword (#61) #71

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
12s
12s