Change license in build.sbt
to match repository
#26
inox-CI.yml
on: pull_request
tests
6m 14s
fail_if_pull_request_is_draft
0s