fix file extension for stale workflow

pull/754/head
simonpfish 9 months ago
parent 0aa0cd66b4
commit 39bd110909
Loading…
Cancel
Save