docs

More useful stats output by `privPrecCompare` #2200

Triggered via pull request December 17, 2024 09:44

opened #1642

priv_prec_compare_stats

Status Success

Total duration 4m 30s

Artifacts 1

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

docs.yml

on: pull_request

Matrix: api-build

Produced during runtime

Name	Size	Digest
github-pages Expired	2.12 MB	`sha256:3c9c8b29881c82d5398eaefd261af9bdc9d49fc9d417a7ab9cbc79ffd7249668`