Skip to content
Rust

Check that control flow does not escape a ghost block #4805

Sign in to view logs

Check that control flow does not escape a ghost block

Check that control flow does not escape a ghost block #4805

Triggered via pull request March 3, 2025 15:59
@arnaudgolfousearnaudgolfouse
synchronize #1405
arnaudgolfouse:ghost-control-flow
Status Success
Total duration 6m 24s
Artifacts –

rust.yml

on: pull_request
fmt
34s
fmt
contracts-build
25s
contracts-build
contracts-build-stable
17s
contracts-build-stable
build
2m 3s
build
why3
5m 4s
why3
Matrix: install
Fit to window
Zoom out
Zoom in