add bitwuzla to gitlab-ci
authorJacob Lifshay <programmerjake@gmail.com>
Tue, 28 Jun 2022 05:27:28 +0000 (22:27 -0700)
committerJacob Lifshay <programmerjake@gmail.com>
Tue, 28 Jun 2022 05:27:28 +0000 (22:27 -0700)
commite11fb06ca114b96deae936c42addecc76838eff9
treebe2aea42caec23c9e7664ac5ae06c6fc42becaa6
parentd94ae33573cded26ec8d92096a6279d6a5f0e3a9
add bitwuzla to gitlab-ci
.gitlab-ci.yml