Skip to content

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

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

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

Triggered via push August 19, 2023 05:13
Status Success
Total duration 42s
Artifacts 1

format-check.yml

on: push
Run format check  /  check-for-duplicates
4s
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
0s
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