VERDICT Integration Workflow

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

Sign in to view logs

Triggered via pull request May 7, 2024 11:41

dependabot[bot]

opened #606

dependabot/maven/tools/edu.uiowa.cs.clc-kind2-java-api-0.3.8

Status Success

Total duration 3m 45s

Artifacts –

integration.yml

on: pull_request

Matrix: integration

Annotations

1 warning

integration (temurin, 17, 3.9.5, ubuntu-22.04)

Error: Path Validation Error: Path(s) specified in the action for caching do(es) not exist, hence no cache is being saved.