Skip to content

Rename SE050_RAND_ERROR to more generic SE050_ERROR #233

Rename SE050_RAND_ERROR to more generic SE050_ERROR

Rename SE050_RAND_ERROR to more generic SE050_ERROR #233

Triggered via push September 19, 2023 12:20
Status Success
Total duration 1m 47s
Artifacts

ci.yaml

on: push
Check code format
1m 28s
Check code format
Check imports format
1m 19s
Check imports format
Check code style
1m 25s
Check code style
Check static typing
1m 36s
Check static typing
Run documentation tests
1m 22s
Run documentation tests
Fit to window
Zoom out
Zoom in