External contributor greeter

SMTChecker: Use Eldarica in more tests #1586

Sign in to view logs

Triggered via pull request December 5, 2025 10:27

blishko

opened #16330

Status Success

Total duration 6s

Artifacts –

welcome-external-pr.yml

on: pull_request_target

comment-external-pr