Merge pull request #1006 from daniel-larraz/fix-contract-checks · kind2-mc/kind2@0cd2600

Triggered via push September 14, 2023 20:40

develop

Status Success

Total duration 15m 27s

Artifacts 2

kind2-ci.yml

on: push

Matrix: kind2-build

Produced during runtime

Name	Size
kind2-macos-11 Expired	9.83 MB
kind2-ubuntu-20.04 Expired	15.1 MB