Skip to content

fix(deps): update dependency com.github.gumtreediff:core to v4.0.0-beta3 #320

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

fix(deps): update dependency com.github.gumtreediff:core to v4.0.0-beta3 #320

Triggered via pull request October 14, 2024 21:04
Status Success
Total duration 59s
Artifacts

ci.yml

on: pull_request
Fit to window
Zoom out
Zoom in