Feat rust better optimization fix #18315

Triggered via pull request September 16, 2024 14:02

opened #5771

Status Success

Total duration 17m 41s

Artifacts 1

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

refman.yml

on: pull_request

Matrix: build-refman

Produced during runtime

Name	Size	Digest
DafnyRef Expired	1.46 MB	`sha256:57114136edb72fcceb9cc356ab54cbb466fa57adba96e886d15f94628120971c`