Skip to content

Merge pull request #3 from FeatureIDE/develop #17

Merge pull request #3 from FeatureIDE/develop

Merge pull request #3 from FeatureIDE/develop #17

Triggered via push September 12, 2025 11:21
Status Success
Total duration 1m 6s
Artifacts

maven.yml

on: push
build-update-site
0s
build-update-site
deploy-update-site
0s
deploy-update-site
Fit to window
Zoom out
Zoom in