Skip to content

Add rename to registry.json #1143

Add rename to registry.json

Add rename to registry.json #1143

Triggered via pull request November 5, 2023 22:51
Status Success
Total duration 1m 44s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

lints.yml

on: pull_request
Matrix: code-style
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Python 3.10 on ubuntu-latest
Process completed with exit code 1.
Python 3.9 on ubuntu-latest
Process completed with exit code 1.