Skip to content

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

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

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

Triggered via pull request August 19, 2023 05:54
Status Success
Total duration 46s
Artifacts 1

format-check.yml

on: pull_request
Run format check  /  check-for-duplicates
7s
Run format check / check-for-duplicates
Run format check  /  Run format check
23s
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