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

Fix CI #428

Merged

tobz merged 2 commits into metrics-rs:main from rukai:fix_ci

Dec 22, 2023

Merged

Fix CI #428

Merge branch 'main' into fix_ci

Netlify / Pages changed - metrics-rs-docs completed Dec 22, 2023 in 52s

172 new files uploaded

159 generated pages and 13 assets changed.

Details

Changed pages include:

help.html - view
metrics/index.html - view
metrics_benchmark/index.html - view
metrics_exporter_prometheus/index.html - view
metrics_exporter_tcp/index.html - view
metrics_tracing_context/index.html - view
metrics_util/index.html - view
settings.html - view
metrics/all.html - view
metrics/atomics/index.html - view

There are more changes not included in the list

View more details on Netlify