Skip to content
Back to pull request #49

Fixes #32 : Convert glossary to pandoc format #62

Sign in to view logs

Fixes #32 : Convert glossary to pandoc format

Fixes #32 : Convert glossary to pandoc format #62

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Record PR number
5s
Build markdown source files if valid
8m 16s
8m 21s