Java CI with Maven

Add Counterexamples to Refinement Errors (#146) #362

Sign in to view logs

Triggered via push February 23, 2026 13:33

rcosta358

main

Status Success

Total duration 1m 29s

Artifacts –

maven.yml

on: push

Matrix: build