Add back colibrilib pin dependency to fix CI #280

Sign in to view logs

Triggered via push September 17, 2024 18:23

filipeom

main

Status Success

Total duration 6m 1s

Artifacts –

test-bitwuzla.yml

on: push