Skip to content
Bump version and make master job

Allow special characters in generated Lean 4 identifiers (#4729) #1161

Sign in to view logs

Allow special characters in generated Lean 4 identifiers (#4729)

Allow special characters in generated Lean 4 identifiers (#4729) #1161

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Version Bump
14s
14s