Skip to content

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

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

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

Triggered via pull request December 17, 2024 21:36
Status Success
Total duration 10s
Artifacts

check-contributor.yaml

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