Skip to content

bugfix: don't omit leading dot in certain term references #786

bugfix: don't omit leading dot in certain term references

bugfix: don't omit leading dot in certain term references #786

Triggered via pull request December 18, 2024 17:53
Status Success
Total duration 15s
Artifacts

check-contributor.yaml

on: pull_request
check-contributor
5s
check-contributor
Fit to window
Zoom out
Zoom in