Update readme · sws-lab/sv-comp-witness-vscode@2b6891a

Triggered via pull request September 17, 2025 10:06

karoliineh

synchronize #16

readme-update

Status Success

Total duration 1m 14s

Artifacts 1

build.yml

on: pull_request

Produced during runtime

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