Skip to content

Fix #338, Move 'EID' to the end of Event ID names #340

Fix #338, Move 'EID' to the end of Event ID names

Fix #338, Move 'EID' to the end of Event ID names #340

Triggered via pull request August 19, 2023 06:29
Status Success
Total duration 51s
Artifacts 1

format-check.yml

on: pull_request
Run format check  /  check-for-duplicates
6s
Run format check / check-for-duplicates
Run format check  /  Run format check
26s
Run format check / Run format check
Run format check  /  Check Commit Message
3s
Run format check / Check Commit Message
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
style_differences Expired
2.25 KB