Use write-file
instead of bash
in dune action
#158
Labels
forwarded-to-js-devs
This report has been forwarded to Jane Street's internal review system.
Summary
Is it possible to use
write-file
action instead ofbash
?base/src/dune
Lines 29 to 30 in 448ea48
Additional
If
write-file
is not feasible, perhapsrun sh
can be used instead?The text was updated successfully, but these errors were encountered: