Eliminate unchecked cast in o.e.w.ui.preferences.Settings.findSettings · eclipse-wildwebdeveloper/wildwebdeveloper@932beb5

Triggered via pull request June 24, 2026 20:03

merks

opened #2153

Status Success

Total duration 10m 15s

Artifacts 1

build.yml

on: pull_request

Matrix: build

1 notice

The macos-latest label will migrate to macOS 26 beginning June 15, 2026. For more information see https://github.com/actions/runner-images/issues/14167

Produced during runtime

Name	Size	Digest
org.eclipse.wildwebdeveloper.repository-c81da3d032a7ce269830632e24e717bdd804e1c7 Expired	337 MB	`sha256:830ca69e25c4cfd560267c6a28baf19547333c13e51d322f59f9d91826c8ff61`