Regenerate HTML docs

[mjambon]

Closes #134

PR checklist:

• Purpose of the code is evident to future readers
• Tests are included or a PR comment includes a reproducible test plan
• Documentation is up-to-date
• A changelog entry was added to CHANGES.md for any user-facing change

Check out CONTRIBUTING.md for more details.

[mjambon]

• Regenerate HTML docs #139 👈 (View in Graphite)
• Check the presence and contents of captured output files #141
• Implement and expose stash_output_file #138
• Expose map_file and copy_file functions #136
• Add types to support checked output files #135
• Add and expose 'get_current_test' #137
• main

This stack of pull requests is managed by Graphite. Learn more about stacking.

[semgrep-zcs-prod-semgrep]

Semgrep found 1 bad-reraise finding:

• core/Testo.ml
  • L285 - Triage

You should not re-raise exceptions using 'raise' because it loses track of where the exception was raised originally, leading to a useless and possibly confusing stack trace. Instead, you should obtain a stack backtrace as soon as the exception is caught using 'try ... with exn -> let trace = Printexc.get_raw_backtrace () in ...', and keep it around until you re-raise the exception using 'Printexc.raise_with_backtrace exn trace'. You must collect the stack backtrace before calling another function which might internally raise and catch exceptions. To avoid false positives from Semgrep, write 'raise (Foo args)' instead of 'let e = Foo args in raise e'.

[mjambon]

Merge activity

• Oct 16, 1:32 AM UTC: A user started a stack merge that includes this pull request via Graphite.
• Oct 16, 1:55 AM UTC: Graphite rebased this pull request as part of a merge.
• Oct 16, 1:59 AM UTC: @mjambon merged this pull request with Graphite.