Skip to content
Pre-commit

Error early on non globally unique node IDs #2524

Sign in to view logs

Error early on non globally unique node IDs

Error early on non globally unique node IDs #2524

Triggered via pull request March 25, 2024 13:10
@visrvisr
opened #1311
global-unique
Status Success
Total duration 27s
Artifacts –

pre-commit_check.yml

on: pull_request
check
15s
check
Fit to window
Zoom out
Zoom in