Skip to content
Build and Test Dafny Standard Libraries

fix: Incompleteness in the resolver when detecting support for equality #5236

Sign in to view logs

fix: Incompleteness in the resolver when detecting support for equality

fix: Incompleteness in the resolver when detecting support for equality #5236

Triggered via pull request June 30, 2025 16:56
@fabiomadgefabiomadge
synchronize #6231
fabiomadge:fix_6181
Status Success
Total duration 33m 21s
Artifacts –

standard-libraries.yml

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