remove devtools in vignettes #13

Triggered via push November 7, 2023 16:17

main

Status Success

Total duration 57s

Artifacts 1

draft-pdf.yml

on: push

Produced during runtime

Name	Size
paper Expired	4.9 MB