Skip to content
Build and Test Dafny Standard Libraries

feat: Implement frame-related asserted exprs and TraitDecreases #2761

Sign in to view logs

feat: Implement frame-related asserted exprs and TraitDecreases

feat: Implement frame-related asserted exprs and TraitDecreases #2761

Triggered via pull request June 7, 2024 22:55
@alex-chewalex-chew
synchronize #5542
alexchew/frame-podesc-exprs
Status Success
Total duration 18m 42s
Artifacts –

standard-libraries.yml

on: pull_request
check-deep-tests  /  check-deep-tests
5s
check-deep-tests / check-deep-tests
build
18m 16s
build
Fit to window
Zoom out
Zoom in