Skip to content
Inox CI

Update to scala-smtlib with FP support #24

Sign in to view logs

Update to scala-smtlib with FP support

Update to scala-smtlib with FP support #24

Triggered via pull request February 5, 2025 12:40
@sankalpgambhirsankalpgambhir
opened #231
sankalpgambhir:update-smtlib-fp
Status Success
Total duration 6m 29s
Artifacts –

inox-CI.yml

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