Skip to content

Releases: leanprover/mdBook

v0.4.15l2

11 Feb 08:33
Compare
Choose a tag to compare
tryit_buttons_enabled should default to false!

v0.4.15l

10 Feb 09:42
Compare
Choose a tag to compare
better merge with upstream and re-instate on unit test that passes.

v0.4.6

27 Jan 08:29
Compare
Choose a tag to compare
fix: a few null refs in the vscode case.

v0.4.5

19 Nov 11:34
45de750
Compare
Choose a tag to compare
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