Open github-actions[bot] opened 3 hours ago
You can delete mine, it's outdated and redundant now.
I believe mine has been kept up to date through others' contributions. Though I submitted a PR to improve parts of it (#958)
All authors, please do the following: