Skip to content

main: change main()'s return value as int #17

main: change main()'s return value as int

main: change main()'s return value as int #17

Triggered via push September 5, 2023 13:39
Status Success
Total duration 53s
Artifacts
update_sedi_docs
35s
update_sedi_docs
Fit to window
Zoom out
Zoom in