Skip to content

Rust: rename several entities to their more natural names #25535

Rust: rename several entities to their more natural names

Rust: rename several entities to their more natural names #25535

Triggered via pull request March 31, 2025 11:19
Status Success
Total duration 2m 23s
Artifacts 4
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention
Generate framework coverage artifacts
2m 17s
Generate framework coverage artifacts
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
comparison Expired
142 Bytes
sha256:44deb6db7f24b8a5d9c991c18e6e2e0719ed1a28b9ceff9582571e8a74b406e7
csv-framework-coverage-base Expired
13.1 KB
sha256:4b516e8488b5cae0e8a6cdb557158e320ab2afc33bb46345b7865d536cfbe2aa
csv-framework-coverage-merge Expired
13.1 KB
sha256:2a14f89ed3005d16b339cfd997a43c372b1c5e762962e9c136936c1bc3d9312f
pr Expired
126 Bytes
sha256:53cf01da5c870a821eec9ed25864026384a2a94e27a038671485b4b893e5177c