Skip to content

Split document into per-clause files and a number of fixes #108

Split document into per-clause files and a number of fixes

Split document into per-clause files and a number of fixes #108

Triggered via pull request October 31, 2023 09:57
Status Success
Total duration 2m 19s
Artifacts 1

docker.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
github-pages Expired
4.4 MB