Releases: leanprover/mdBook
Releases · leanprover/mdBook
v0.4.15l2
v0.4.15l
better merge with upstream and re-instate on unit test that passes.
v0.4.6
fix: a few null refs in the vscode case.
v0.4.5
Add a release workflow * remove old mdbook ci scripts. * Create build.yml * fix tests * fix build.yml syntax * fix indentation * rename workflow * rename build * upload build artifact on successful build. * trigger new release if atag named "releases/v*" is created. * echo github.ref * make release tag name consistent * don't need to upload artifacts * add trigger on tag create * fix binary drop names * compress the target folders. * fix zip names * fix macos zip file name