Skip to content

Merge pull request #1053 from dsldevkit/revert-1031-xtext_2_37 #2171

Merge pull request #1053 from dsldevkit/revert-1031-xtext_2_37

Merge pull request #1053 from dsldevkit/revert-1031-xtext_2_37 #2171

Triggered via push December 16, 2024 14:25
Status Success
Total duration 12m 34s
Artifacts 1
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

verify.yml

on: push
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
PMD Report Expired
347 Bytes
sha256:792965c1001e2542cac9344d13b51188b03a0a2a9b308257a8c0ef8dbbc97cf3