Skip to content
Pull request checks

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

Sign in to view logs

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

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

Triggered via pull request November 10, 2023 20:14
@nusbaumenusbaume
synchronize #52
mkavulich:feature/add_name_valid_check
Status Success
Total duration 30s
Artifacts –

pull_request_ci.yml

on: pull_request
check-unique-standard-names
13s
check-unique-standard-names
Check standard names against rules
23s
Check standard names against rules
check-rerendered-markdown
18s
check-rerendered-markdown
Fit to window
Zoom out
Zoom in