Skip to content
OpenAPI lint

rename facility filter to resource id filter #297

Sign in to view logs

rename facility filter to resource id filter

rename facility filter to resource id filter #297

Triggered via pull request November 6, 2024 20:39
@catkins-misocatkins-miso
opened #208
207-rename-transmission-facility-query-parameter-to-resource-id
Status Success
Total duration 30s
Artifacts –

lint.yaml

on: pull_request
Redocly Lint
20s
Redocly Lint
Fit to window
Zoom out
Zoom in