Skip to content
Test Bitwuzla

Try to improve expression formatting #216

Sign in to view logs

Try to improve expression formatting

Try to improve expression formatting #216

Triggered via push August 26, 2024 11:29
@filipeomfilipeom
pushed a210546
main
Status Success
Total duration 7m 27s
Artifacts –

test-bitwuzla.yml

on: push
test-bitwuzla
7m 17s
test-bitwuzla
Fit to window
Zoom out
Zoom in