Skip to content

Rust: Improve and rename Adt class #30000

Rust: Improve and rename Adt class

Rust: Improve and rename Adt class #30000

Triggered via pull request December 17, 2025 12:59
Status Success
Total duration 2m 30s
Artifacts 4
Generate framework coverage artifacts
2m 28s
Generate framework coverage artifacts
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
comparison
142 Bytes
sha256:43698fba6c03ee844dc574a263eb3a0a0f2e392babce2f358d93bd2b420d77ac
csv-framework-coverage-base
13.4 KB
sha256:709c725499bd432ba5fa7164489fa3468a45fc4210f3efe440d415e5b67e37f0
csv-framework-coverage-merge
13.4 KB
sha256:70c0115839e3546d49304fb2ecf98a0b05937153d56205df33a78786e8345785
pr
126 Bytes
sha256:7d0b67fbb69a9a06d7e5d7b37aaf93032c8091dfef94d19de7659412e1d0c2f7