Skip to content
Inox CI

Update to scala-smtlib with FP support (#231) #25

Sign in to view logs

Update to scala-smtlib with FP support (#231)

Update to scala-smtlib with FP support (#231) #25

Triggered via push February 5, 2025 16:11
@vkuncakvkuncak
pushed d66063f
main
Status Success
Total duration 6m 4s
Artifacts –

inox-CI.yml

on: push
tests
5m 51s
tests
fail_if_pull_request_is_draft
0s
fail_if_pull_request_is_draft
Fit to window
Zoom out
Zoom in