Skip to content

Merge pull request #109 from w3stling/map-child-nodes #195

Merge pull request #109 from w3stling/map-child-nodes

Merge pull request #109 from w3stling/map-child-nodes #195

Triggered via push August 13, 2023 20:49
Status Success
Total duration 3m 50s
Artifacts

build.yml

on: push
🏗️ Build and Test
1m 22s
🏗️ Build and Test
🔎 Code Analysis
2m 12s
🔎 Code Analysis
📚 Publish Javadoc
23s
📚 Publish Javadoc
🚀 Publish Snapshot
40s
🚀 Publish Snapshot
Fit to window
Zoom out
Zoom in