Build and Test Dafny Runtimes

feat: Allow type parameters on newtypes #8035

Sign in to view logs

Triggered via pull request June 8, 2024 21:23

synchronize #5495

RustanLeino:newtype-type-params

Status Success

Total duration 4m 8s

Artifacts –

runtime-tests.yml

on: pull_request

check-deep-tests / check-deep-tests