Skip to content

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

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… #108

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

publish.yml

on: push
Publish package
3m 20s
Publish package
Fit to window
Zoom out
Zoom in