Hugh Rundle
7a2b83a97c
- csv-to-topo updater now only works for PRs : csv shouldn't be directly updated in a push to master - csv-to-topo can now be manually triggered if needed - clearer formatting for actions |
||
---|---|---|
.. | ||
scripts | ||
workflows |