This repository has been archived by the owner on Apr 25, 2024. It is now read-only.

Run Tests

Allowing multiple constraints in splits preceding nodes to be refuted #5744

Sign in to view logs

Triggered via pull request April 6, 2024 09:52

rv-jenkins

synchronize #1066

petar/refute-with-multiple-constraints

Status Success

Total duration 29m 30s

Artifacts –

test-pr.yml

on: pull_request

Code Quality Checks

Build Documentation

Integration Tests

K Regression Tests

Build Docker Image

Matrix: Build on Nix

Matrix: Unit Tests

Annotations

2 warnings

Build on Nix (ubuntu-latest)

No push credentials found. Ignoring the 'useDaemon' option.

Build on Nix (macos-13)

No push credentials found. Ignoring the 'useDaemon' option.