Include usvm via GitHub packages#2687

Merged

IlyaMuravjov merged 2 commits intousvm_competitions_2024from

ilya_m/contest/usvm_github_package

Nov 15, 2023

Commits on Nov 13, 2023

Include usvm via GitHub packages
IlyaMuravjov
committed

Commits on Nov 15, 2023

Improve gradle script for utbot-junit-contest
IlyaMuravjov
committed