Merge pull request #20 from lorchrob/imp-node-buttons · kind2-mc/vscode-kind2@dc06103

Triggered via push May 9, 2024 20:33

main

Status Success

Total duration 1m 6s

Artifacts 3

ci.yml

on: push

Matrix: build

Produced during runtime