build-nix

Fix a bug in the evaluation of cvtops for bitvectors #97

Sign in to view logs

Triggered via pull request December 26, 2025 09:43

filipeom

synchronize #498

filipe/fix-bug

Status Success

Total duration 1m 47s

Artifacts –

build-nix.yml

on: pull_request