Chore: Fixed non-deterministic with only one assumed timeout instead of two #18312

Triggered via pull request September 16, 2024 11:10

opened #5770

chore-flaky-5753-fix

Status Success

Total duration 5m 14s

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