Skip to content

Fixes #32 : Convert glossary to pandoc format #66

Fixes #32 : Convert glossary to pandoc format

Fixes #32 : Convert glossary to pandoc format #66

Triggered via pull request November 2, 2023 10:12
Status Success
Total duration 18s
Artifacts

pr-preflight.yaml

on: pull_request_target
Test if pull request is valid
6s
Test if pull request is valid
Fit to window
Zoom out
Zoom in