Skip to content
Pull Request validation

Replace Batik with JSVG #193

Sign in to view logs

Replace Batik with JSVG

Replace Batik with JSVG #193

Triggered via pull request February 16, 2025 04:29
@AlexisDrogoulAlexisDrogoul
synchronize #413
Replace-Batik-with-JSVG
Status Success
Total duration 13m 27s
Artifacts 4

trigger-pr.yaml

on: pull_request
Compiling GAMA from PR branch  /  compilation
11m 56s
Compiling GAMA from PR branch / compilation
Compiling GAMA from base branch  /  compilation
12m 48s
Compiling GAMA from base branch / compilation
Testing built GAMA  /  compilation
1m 14s
Testing built GAMA / compilation
Display Spotbugs results
23s
Display Spotbugs results
Fit to window
Zoom out
Zoom in

Annotations

1 warning
RV_RETURN_VALUE_IGNORED_NO_SIDE_EFFECT: gama.ui.experiment/src/gama/ui/experiment/views/displays/LayeredDisplayDecorator.java#L431
Return value of org.eclipse.swt.widgets.Monitor.getBounds() ignored, but method has no side effect

Artifacts

Produced during runtime
Name Size
final-report-spotbugs
37.1 KB
gama-compiled-archive
174 MB
result-spotbugs-base
679 KB
result-spotbugs-pr
680 KB