Fix a bug related to hide/reveal and recursive functions #18277

Triggered via pull request September 11, 2024 12:51

opened #5764

Status Failure

Total duration 47s

Artifacts –

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

1 error and 1 warning

Process completed with exit code 1.

No files were found with the provided path: dafny/docs/DafnyRef/DafnyRef.pdf. No artifacts will be uploaded.