Skip to content

Merge branch 'dev_eric_lin' into dev #3329

Merge branch 'dev_eric_lin' into dev

Merge branch 'dev_eric_lin' into dev #3329

Triggered via push July 27, 2024 15:10
Status Success
Total duration 6m 22s
Artifacts

ci.yaml

on: push
CI by multiply java versions
6m 15s
CI by multiply java versions
Fit to window
Zoom out
Zoom in