Skip to content
Add issues to Development Project Board

[Feature]: Warn if writing a file that does not end in appropriate extension #77

Sign in to view logs

[Feature]: Warn if writing a file that does not end in appropriate extension

[Feature]: Warn if writing a file that does not end in appropriate extension #77

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Add issue to project
6s
6s