Skip to content

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

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

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

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

check-contributor.yaml

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