Skip to content

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

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

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

Triggered via pull request December 10, 2024 19:15
Status Success
Total duration 13s
Artifacts

check-contributor.yaml

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