Update package info in CI workflow · daniel-larraz/kind2@cff33d5

Triggered via push November 9, 2023 17:55

develop

Status Success

Total duration 17m 28s

Artifacts 2

kind2-ci.yml

on: push

Matrix: kind2-build

Produced during runtime

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