Skip to content

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

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

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

Triggered via push July 9, 2024 07:15
Status Success
Total duration 36s
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
16s
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