Skip to content

Fix missing error check in AST for expr->intexpr conversion; add new test modality #784

Fix missing error check in AST for expr->intexpr conversion; add new test modality

Fix missing error check in AST for expr->intexpr conversion; add new test modality #784

Triggered via pull request March 16, 2024 15:29
Status Cancelled
Total duration 44s
Artifacts

continuousIntegration.yml

on: pull_request
forge-tests
37s
forge-tests
Fit to window
Zoom out
Zoom in

Annotations

2 errors
forge-tests
The run was canceled by @tnelson.
forge-tests
The operation was canceled.