Update readme · sws-lab/sv-comp-witness-vscode@4c21d1d

Triggered via pull request September 16, 2025 18:48

Yleroimar

opened #16

readme-update

Status Success

Total duration 1m 34s

Artifacts 1

build.yml

on: pull_request

Produced during runtime

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