Skip to content
This repository was archived by the owner on Mar 7, 2026. It is now read-only.

Feature: Nomenclature cleanup #3273

Feature: Nomenclature cleanup

Feature: Nomenclature cleanup #3273

Triggered via pull request October 1, 2025 13:23
Status Success
Total duration 17s
Artifacts

lint.yml

on: pull_request
pre-commit
15s
pre-commit
Fit to window
Zoom out
Zoom in