Feat rust better optimization fix #18318

Triggered via pull request September 16, 2024 19:25

synchronize #5771

Status Success

Total duration 2m 51s

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.47 MB	`sha256:02ce12b9c0a1fe2f86160f0ea43d157cdd8b4c90b94ddc7f3c721559cdbfb658`