Merge pull request #21 from lorchrob/result-icons · kind2-mc/vscode-kind2@9e2e9d3

Triggered via push May 22, 2024 17:26

main

Status Success

Total duration 1m 13s

Artifacts 3

ci.yml

on: push

Matrix: build

Produced during runtime