Skip to content
Check PR title

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

Sign in to view logs

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

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

Run time

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