Skip to content

fix(deps): update dependency com.github.gumtreediff:core to v4.0.0-be… #321

fix(deps): update dependency com.github.gumtreediff:core to v4.0.0-be…

fix(deps): update dependency com.github.gumtreediff:core to v4.0.0-be… #321

Triggered via push October 15, 2024 02:23
Status Success
Total duration 1m 9s
Artifacts

ci.yml

on: push
Fit to window
Zoom out
Zoom in