Skip to content

ECOOP 2021-2025 redux: fix unicode (#91) #176

ECOOP 2021-2025 redux: fix unicode (#91)

ECOOP 2021-2025 redux: fix unicode (#91) #176

Triggered via push September 13, 2025 14:14
Status Success
Total duration 1m 20s
Artifacts
Matrix: build_gradle
Fit to window
Zoom out
Zoom in