VS Code -> vscode · sws-lab/sv-comp-witness-vscode@7b774c5

Triggered via push September 17, 2025 10:08

karoliineh

readme-update

Status Success

Total duration 1m 6s

Artifacts 1

build.yml

on: push

Produced during runtime

Name	Size	Digest
wiivi-plugin Expired	22.2 MB	`sha256:f8a6fed6ca0700f8b0c84a14947b8ae7719c78b58fb46da467fc155d2caf7201`