Skip to content
Build the manual with mdBook

Change the file extension for proof outlines from .help.spec to .po #25

Sign in to view logs

Change the file extension for proof outlines from .help.spec to .po

Change the file extension for proof outlines from .help.spec to .po #25

Run time

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