search

microsoft / docusaurus-plugins

Plugins for Docusaurus and Rise4Fun
https://microsoft.github.io/docusaurus-plugins/
MIT License
12 stars 2 forks source link

feat: async compile code #2

Closed pelikhan closed 1 year ago

pelikhan commented 1 year ago

Support for async compile code functions to support z3

github-actions[bot] commented 1 year ago

:tada: This PR is included in version @rise4fun/docusaurus-remark-plugin-compile-code-v1.1.0 :tada:

The release is available on:

Your semantic-release bot :package::rocket:

github-actions[bot] commented 1 year ago

:tada: This PR is included in version website-v1.0.0 :tada:

The release is available on GitHub release

Your semantic-release bot :package::rocket: