Build and Test Dafny Runtimes

Check datatype constructors for bad type-parameter instantiations #7108

Sign in to view logs

Triggered via pull request March 29, 2024 22:11

RustanLeino

opened #5278

RustanLeino:issue-5274

Status Cancelled

Total duration 4m 8s

Artifacts –

runtime-tests.yml

on: pull_request

check-deep-tests / check-deep-tests