Tests

Add .whitesource configuration file #4114

Sign in to view logs

Triggered via push September 17, 2025 21:49

ibm-mend-app[bot]

whitesource/configure

Status Failure

Total duration 18m 5s

Artifacts –

build.yml

on: push

Matrix: Build

Annotations

1 error

Build (coqorg/coq:8.18.0-ocaml-4.13.1-flambda)

Process completed with exit code 31.