Skip to content
Test Bitwuzla

Update package authors #345

Sign in to view logs

Update package authors

Update package authors #345

Triggered via push October 16, 2024 15:01
@filipeomfilipeom
pushed 613bee2
main
Status Success
Total duration 5m 46s
Artifacts –

test-bitwuzla.yml

on: push
test-bitwuzla
5m 35s
test-bitwuzla
Fit to window
Zoom out
Zoom in