Fix bvsdiv and fp.to_ubv fp.to_sbv #505

Sign in to view logs

Triggered via pull request June 26, 2023 12:00

bobot

synchronize #168

bobot:fix_bitv

Status Success

Total duration 50m 30s

Artifacts –

install.yml

on: pull_request

Matrix: install