Skip to content
External contributor greeter

SMTChecker: Bring back assertions in "external_calls" SMTChecker tests #858

Sign in to view logs

SMTChecker: Bring back assertions in "external_calls" SMTChecker tests

SMTChecker: Bring back assertions in "external_calls" SMTChecker tests #858

Triggered via pull request June 18, 2024 08:07
@blishkoblishko
opened #15204
Status Success
Total duration 10s
Artifacts –

welcome-external-pr.yml

on: pull_request_target
comment-external-pr
0s
comment-external-pr
Fit to window
Zoom out
Zoom in