Skip to content
Build and Test Dafny Runtimes

Fix: Object::from_ref no longer forgetting to increment the strong count #8866

Sign in to view logs

Fix: Object::from_ref no longer forgetting to increment the strong count

Fix: Object::from_ref no longer forgetting to increment the strong count #8866

Triggered via pull request October 24, 2024 13:59
@MikaelMayerMikaelMayer
opened #5858
fix-5851-increment-strong-count-opaque
Status Success
Total duration 5m 12s
Artifacts –

runtime-tests.yml

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