Skip to content
VERDICT Main Workflow

Bump edu.uiowa.cs.clc:kind2-java-api from 0.3.6 to 0.3.8 in /tools #500

Sign in to view logs

Bump edu.uiowa.cs.clc:kind2-java-api from 0.3.6 to 0.3.8 in /tools

Bump edu.uiowa.cs.clc:kind2-java-api from 0.3.6 to 0.3.8 in /tools #500

Annotations

1 warning

native-binaries (4.09.1, macos-12)

native-binaries (4.09.1, macos-12)
succeeded May 7, 2024 in 8m 29s