Merge pull request #999 from daniel-larraz/array-fixes · daniel-larraz/kind2@86797e6

Triggered via push August 9, 2023 07:23

develop

Status Success

Total duration 35m 57s

Artifacts 2

kind2-ci.yml

on: push

Matrix: kind2-build

Produced during runtime

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