Remove experimental FP-to-BV impl from Bitwuzla · sosy-lab/java-smt@b48f73c

Re-run triggered June 11, 2026 20:24

baierd

#677

Status Success

Total duration 1m 57s

Artifacts 18

ci.yml

on: pull_request

Matrix: linux

Matrix: macos

Matrix: windows

Produced during runtime

Name	Size	Digest
junit-results-linux-x64-java17	312 KB	`sha256:e9820d99801ba9bd8285ab9611ef59b14bac26bad92d35ce6be17d863846da20`