Skip to content
Build and Test Dafny Runtimes

Fix bugs that could lead to an unresponsive IDE when working with project files #7727

Sign in to view logs

Fix bugs that could lead to an unresponsive IDE when working with project files

Fix bugs that could lead to an unresponsive IDE when working with project files #7727

Triggered via pull request May 17, 2024 21:07
@MikaelMayerMikaelMayer
synchronize #5444
keyboardDrummer:nonResponsiveProjectManager
Status Success
Total duration 3m 51s
Artifacts –

runtime-tests.yml

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