Skip to content
Run pre-commit hooks

Use curl instead of wget for some files #1996

Sign in to view logs

Use curl instead of wget for some files

Use curl instead of wget for some files #1996

Triggered via pull request July 26, 2023 14:01
@mathbunnyrumathbunnyru
opened #1948
mathbunnyru:asalikhov/use_curl
Status Success
Total duration 2m 50s
Artifacts –

pre-commit.yml

on: pull_request
Run pre-commit hooks
2m 40s
Run pre-commit hooks
Fit to window
Zoom out
Zoom in