Skip to content
Test Bitwuzla

Fix Colibri2's mappings #6

Sign in to view logs

Fix Colibri2's mappings

Fix Colibri2's mappings #6

Triggered via pull request May 30, 2024 12:55
@hra687261hra687261
synchronize #120
hra687261:fix_test_colibri2
Status Failure
Total duration 17m 5s
Artifacts –

test-bitwuzla.yml

on: pull_request
build
16m 55s
build
Fit to window
Zoom out
Zoom in

Annotations

1 error
build
Process completed with exit code 2.