Merge pull request #15 from sws-lab/ci · sws-lab/sv-comp-witness-vscode@4bd2596

Triggered via push September 8, 2025 09:25

karoliineh

main

Status Success

Total duration 1m 30s

Artifacts 1

build.yml

on: push

Produced during runtime

Name	Size	Digest
wiivi-plugin Expired	44.2 MB	`sha256:b3e4ad81d671dd34dbf2146e3cf2c3bc4dee8ab506942ee5d953ad264e39af05`