IVC and MCS bugs (#17) · kind2-mc/kind2-java-api@ea78522

Triggered via push December 16, 2025 18:33

main

Status Success

Total duration 1m 11s

Artifacts 1

gradle.yml

on: push

Produced during runtime

Name	Size	Digest
artifact Expired	480 KB	`sha256:e23bbf0695441bba9b580b4b5887ea1aedd0f526aa7a46ba29e328c601f62aca`