Build and Test Dafny Standard Libraries

Fix broken link in Std Library README.md #5152

Sign in to view logs

Triggered via pull request June 13, 2025 20:50

opened #6272

samuelchassot:patch-1

Status Success

Total duration 27m 18s

Artifacts –

standard-libraries.yml

on: pull_request

check-deep-tests / check-deep-tests