Add news about preliminary calls#240

martinjonas merged 2 commits into

masterSMT-COMP/smt-comp.github.io:masterfrom

2026_preliminary_call_newsSMT-COMP/smt-comp.github.io:2026_preliminary_call_newsCopy head branch name to clipboard