[ci] handle fetch failure at metrics push #1992

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Merged

pepoviola merged 2 commits into main from fix-metrics-push

Mar 31, 2025

Collaborator

pepoviola commented Mar 14, 2025

Fix possible ci issues with metrics push.

pepoviola added 2 commits

March 14, 2025 15:58


          handle fetch failure at metrics push

9af832f


          lint

92254dc

pepoviola merged commit 25af7ac into main

22 of 23 checks passed

pepoviola deleted the fix-metrics-push branch

March 31, 2025 09:22

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet