![]() This updates the automated generation for github workflows to (also) install the dev dependencies for plugins. This should resolve issues with workflows failing. Or at the very least bring us closer to them working. Shout-out to Jason for the peer pressure :) |
||
---|---|---|
.. | ||
addpatterndocs.js | ||
optiondocsimages.js | ||
reconfigure.js | ||
taskrunner.sh | ||
workbenches.js |