Skip to content

fixed #6316 (Use std::to_string() in place of MathLib::toString() ...) - deleted default implementation of Mathlib::toString() #10746

fixed #6316 (Use std::to_string() in place of MathLib::toString() ...) - deleted default implementation of Mathlib::toString()

fixed #6316 (Use std::to_string() in place of MathLib::toString() ...) - deleted default implementation of Mathlib::toString() #10746

Workflow file for this run

name: Build manual
on: [push, pull_request]
permissions:
contents: read
jobs:
convert_via_pandoc:
runs-on: ubuntu-22.04
steps:
- uses: actions/checkout@v3
- run: |
mkdir output
- uses: docker://pandoc/latex:2.9
with:
args: --output=output/manual.html man/manual.md
- uses: docker://pandoc/latex:2.9
with:
args: --output=output/manual.pdf man/manual.md
- uses: actions/upload-artifact@v3
with:
name: output
path: output