Skip to content

Merge branch 'main' into link_glossary_terms #88

Merge branch 'main' into link_glossary_terms

Merge branch 'main' into link_glossary_terms #88

Triggered via push June 20, 2024 16:56
Status Success
Total duration 11m 57s
Artifacts

ci.yml

on: push
Pre-commit Checks
19s
Pre-commit Checks
Mypy Type Checks
29s
Mypy Type Checks
Matrix: unit-tests
Fit to window
Zoom out
Zoom in