Merge pull request #25 from lorchrob/polymorphism · kind2-mc/vscode-kind2@336ed06

Triggered via push August 1, 2024 12:53

main

Status Success

Total duration 1m 14s

Artifacts 4

ci.yml

on: push

Matrix: build

Produced during runtime