Fix noModelElementSet errors · kind2-mc/kind2-java-api@0b7bd65

Triggered via pull request February 20, 2026 17:00

Jabe03

opened #19

Status Success

Total duration 1m 7s

Artifacts 1

gradle.yml

on: pull_request

Produced during runtime

Name	Size	Digest
artifact	480 KB	`sha256:06868afe4f47f5702b368850903d35ca03ec6d50a7f4ca66f59c979b887562c9`