Skip to content

Fix refinement variable mapping: '_' and 'return' → #306

Fix refinement variable mapping: '_' and 'return' →

Fix refinement variable mapping: '_' and 'return' → #306

Re-run triggered February 9, 2026 18:38
Status Failure
Total duration 53s
Artifacts

maven.yml

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

Annotations

1 error
Maven test on Java 20
Process completed with exit code 1.