fix file extension for stale workflow

pull/1077/head
simonpfish 9 months ago
parent f4c6f900e0
commit c17e098022
Loading…
Cancel
Save