Skip to content
Test Bitwuzla

Fix Colibri2's mappings #5

Sign in to view logs

Fix Colibri2's mappings

Fix Colibri2's mappings #5

Triggered via pull request May 29, 2024 03:17
@hra687261hra687261
synchronize #120
hra687261:fix_test_colibri2
Status Failure
Total duration 14m 42s
Artifacts –

test-bitwuzla.yml

on: pull_request
build
14m 33s
build
Fit to window
Zoom out
Zoom in

Annotations

1 error
build
Process completed with exit code 2.