Skip to content

ci: update pushgateway domain #4204

ci: update pushgateway domain

ci: update pushgateway domain #4204

Triggered via pull request July 18, 2024 00:04
Status Success
Total duration 3m 50s
Artifacts

generate-files.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

1 warning
build
No github_token supplied, API requests will be subject to stricter rate limiting