Update readme · sws-lab/sv-comp-witness-vscode@7b774c5

Triggered via pull request September 17, 2025 10:08

karoliineh

synchronize #16

readme-update

Status Success

Total duration 1m 21s

Artifacts 1

build.yml

on: pull_request

Produced during runtime

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