Skip to content

Add Counterexamples to Refinement Errors #310

Add Counterexamples to Refinement Errors

Add Counterexamples to Refinement Errors #310

Triggered via pull request February 10, 2026 14:39
Status Cancelled
Total duration 22s
Artifacts

maven.yml

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

Annotations

3 errors
Maven test on Java 20
The run was canceled by @rcosta358.
Maven test on Java 20
The operation was canceled.
Java CI with Maven
The run was canceled by @rcosta358.