Build and Test Dafny Runtimes

fix: Add uniform checking of type characteristics in refinement modules #7009

# to view logs

Triggered via pull request March 25, 2024 20:13

RustanLeino

synchronize #5146

RustanLeino:issue-2064

Status Success

Total duration 4m 8s

Artifacts –

runtime-tests.yml

on: pull_request

check-deep-tests / check-deep-tests