Skip to content

Fix invalid standard names, add standard name checking script and github action #25

Fix invalid standard names, add standard name checking script and github action

Fix invalid standard names, add standard name checking script and github action #25

Triggered via pull request October 19, 2023 20:24
Status Failure
Total duration 36s
Artifacts

pull_request_ci.yml

on: pull_request
check-unique-standard-names
25s
check-unique-standard-names
check-rerendered-markdown
18s
check-rerendered-markdown
Fit to window
Zoom out
Zoom in

Annotations

1 error
check-rerendered-markdown
Process completed with exit code 1.