Build and Test Dafny Runtimes

docs: fix broken link to newtypes section #9047

Sign in to view logs

Triggered via pull request November 11, 2024 22:45

alex-chew

synchronize #5908

alexchew/docs-fix-newtypes-link

Status Success

Total duration 4m 56s

Artifacts –

runtime-tests.yml

on: pull_request

check-deep-tests / check-deep-tests