Skip to content
Test documentation

Fix a bug related to abstract imports and match expressions #10230

Sign in to view logs

Fix a bug related to abstract imports and match expressions

Fix a bug related to abstract imports and match expressions #10230

Triggered via pull request October 7, 2024 14:30
@keyboardDrummerkeyboardDrummer
synchronize #5811
keyboardDrummer:unreachabelExprToBoogie
Status Success
Total duration 44m 52s
Artifacts –

doc-tests.yml

on: pull_request
check-deep-tests  /  check-deep-tests
10s
check-deep-tests / check-deep-tests
doctests
17m 13s
doctests
Fit to window
Zoom out
Zoom in