Skip to content

Fix compilation error caused by change in org.eclipse.jdt.core 3.37.0… #75

Fix compilation error caused by change in org.eclipse.jdt.core 3.37.0…

Fix compilation error caused by change in org.eclipse.jdt.core 3.37.0… #75

Re-run triggered February 13, 2024 10:17
Status Success
Total duration 5m 19s
Artifacts

ci.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in