Deleting unused files #182

Triggered via pull request August 9, 2024 16:52

aswaterman

closed #1596

Delete-wavedrom

Status Success

Total duration 7m 12s

Artifacts 6

merge-and-release.yml

on: pull_request

Produced during runtime

Name	Size
riscv-privileged-a52cde8.epub	784 KB
riscv-privileged-a52cde8.html	378 KB
riscv-privileged-a52cde8.pdf	905 KB
riscv-unprivileged-a52cde8.epub	1.85 MB
riscv-unprivileged-a52cde8.html	1.4 MB
riscv-unprivileged-a52cde8.pdf	3.34 MB