Skip to content
Check PR title

chore: change release file extension from .gzip to .gz #568

Sign in to view logs

chore: change release file extension from .gzip to .gz

chore: change release file extension from .gzip to .gz #568

Run time

Learn about OS pricing on GitHub Actions
Job Run time
lint
14s
14s