Update colibri2 and dolmen #279
Triggered via pull request
September 17, 2024 18:07
hra687261
Status
Success
Total duration
6m 36s
Artifacts
–
test-bitwuzla.yml
on: pull_request
test-bitwuzla
6m 27s