Skip to content
Build and Test Dafny Runtimes

Check datatype constructors for bad type-parameter instantiations #7109

Sign in to view logs

Check datatype constructors for bad type-parameter instantiations

Check datatype constructors for bad type-parameter instantiations #7109

Triggered via pull request March 29, 2024 22:12
@RustanLeinoRustanLeino
synchronize #5278
RustanLeino:issue-5274
Status Success
Total duration 6m 42s
Artifacts –

runtime-tests.yml

on: pull_request
check-deep-tests  /  check-deep-tests
6s
check-deep-tests / check-deep-tests
build
3m 32s
build
Fit to window
Zoom out
Zoom in