Merge pull request #22 from lorchrob/interpreter · kind2-mc/vscode-kind2@b74668a

Triggered via push May 23, 2024 17:33

main

Status Success

Total duration 1m 3s

Artifacts 4

ci.yml

on: push

Matrix: build

Produced during runtime