Rename title · sws-lab/sv-comp-witness-vscode@33f1040

Triggered via push September 17, 2025 10:05

karoliineh

readme-update

Status Success

Total duration 1m 17s

Artifacts 1

build.yml

on: push

Produced during runtime

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