Feat: Translate Dafny tests to Rust tests #18298

Triggered via pull request September 12, 2024 22:00

synchronize #5676

feat-5666-cargo-test

Status Success

Total duration 3m 7s

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:ba8b69be66a7808cc5092d36683d15fd6c0f5c502342011afb389aec86988d59`