Merge pull request #1028 from lorchrob/extensional-array-equality-fix · kind2-mc/kind2@286a82b

Re-run triggered November 4, 2023 00:30

develop

Status Success

Total duration 48m 0s

Artifacts 2

kind2-ci.yml

on: push

Matrix: kind2-build

Produced during runtime

Name	Size
kind2-macos-11 Expired	9.55 MB
kind2-ubuntu-20.04 Expired	14.7 MB