Copilot
|
042b6d92b1
|
Add GitHub Actions workflow to publish JavaScript/TypeScript API documentation (#8084)
* Initial plan
* Add GitHub Actions workflow to build and publish documentation
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
* Refine documentation workflow to use mk_api_doc.py and install doxygen
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
* Clarify documentation generation step name
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
---------
Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
|
2025-12-15 22:57:46 +00:00 |
|