External contributor greeter

SMTChecker: Relax assertions regarding sort compatibility when creating expressions #747

Sign in to view logs

Triggered via pull request April 3, 2024 20:25

blishko

opened #14980

Status Success

Total duration 11s

Artifacts –

welcome-external-pr.yml

on: pull_request_target

comment-external-pr