Skip to content

Change license in build.sbt to match repository #26

Change license in build.sbt to match repository

Change license in build.sbt to match repository #26

Triggered via pull request February 5, 2025 16:15
Status Success
Total duration 6m 26s
Artifacts

inox-CI.yml

on: pull_request
tests
6m 14s
tests
fail_if_pull_request_is_draft
0s
fail_if_pull_request_is_draft
Fit to window
Zoom out
Zoom in