Type parsing workaround (#18) · kind2-mc/kind2-java-api@b0d5639

Triggered via push December 16, 2025 23:05

main

Status Success

Total duration 1m 1s

Artifacts 1

gradle.yml

on: push

Produced during runtime

Name	Size	Digest
artifact Expired	480 KB	`sha256:0eb61e31940cb4a64fc7af405e8cfe29517cd9a91a6b8d7922c09e7a075c7737`