Skip to content

change naming style of haochenx #132

change naming style of haochenx

change naming style of haochenx #132

Triggered via push September 15, 2023 19:15
Status Success
Total duration 8m 41s
Artifacts
Matrix: build
ocaml-general-checked
0s
ocaml-general-checked
Fit to window
Zoom out
Zoom in