Merge pull request #1027 from daniel-larraz/thread-exit · daniel-larraz/kind2@2e3cd5c

Triggered via push October 31, 2023 13:59

develop

Status Success

Total duration 15m 48s

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