Build DafnyRef.pdf

Feat: Rust operators #17314

Sign in to view logs

Triggered via pull request May 10, 2024 21:44

MikaelMayer

synchronize #5390

feat-rust-operators-fixed

Status Success

Total duration 2m 44s

Artifacts 1

refman.yml

on: pull_request

check-deep-tests / check-deep-tests

Matrix: build-refman

Artifacts

Produced during runtime

Name	Size
DafnyRef Expired	1.45 MB