Skip to content

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

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 #789

Triggered via pull request March 17, 2024 14:57
Status Cancelled
Total duration 17s
Artifacts

continuousIntegration.yml

on: pull_request
forge-tests
9s
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.