docs

fix formatting of positive numbers with negative exponents (#590) #355

Sign in to view logs

Triggered via push September 9, 2025 16:58

till-m

master

Status Success

Total duration 2m 53s

Artifacts –

build_docs.yml

on: push

build-docs-and-publish

Update docs versions JSON