Skip to content

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

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

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

Triggered via push July 9, 2024 07:42
Status Success
Total duration 37s
Artifacts 1

format-check.yml

on: push
Run format check  /  check-for-duplicates
3s
Run format check / check-for-duplicates
Run format check  /  Run format check
18s
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
1.59 KB