docs: mark up keywords requires and ensures as inline code in prose of "Getting Started with Dafny: A Guide"
#3868
This workflow is awaiting approval from a maintainer in #5937
Triggered via pull request
November 27, 2024 15:50
das-g
Status
Action required
Total duration
–
Artifacts
–
This workflow is awaiting approval from a maintainer in #5937
standard-libraries.yml
on: pull_request
check-deep-tests
/
check-deep-tests
build