Merge pull request #1130 from lorchrob/monomorphize-gids · kind2-mc/kind2@c83752d

Triggered via push February 12, 2025 18:34

develop

Status Success

Total duration 9m 3s

Artifacts 4

kind2-ci.yml

on: push

Matrix: kind2-build

Produced during runtime