Extend IntelliJ IDEA JavaSMT.iml with 2 more dependencies for Princess · sosy-lab/java-smt@71be225

Re-run triggered April 29, 2026 17:09

baierd

master

Status Success

Total duration 2m 1s

Artifacts 18

ci.yml

on: push

Matrix: linux

Matrix: macos

Matrix: windows

Produced during runtime

Name	Size	Digest
junit-results-linux-x64-java17	309 KB	`sha256:628323621627bd7954b9f05554c6b40b4e79d7e2317284bce769e34e7d665010`