Add tooltip on assertions that shows which functions are hidden · dafny-lang/dafny@d8eb6cd

Triggered via pull request November 28, 2024 14:41

synchronize #5929

Status Success

Total duration 23m 16s

Artifacts 1

refman.yml

on: pull_request

Matrix: build-refman

Produced during runtime

Name	Size
DafnyRef Expired	1.47 MB