#1062: First try with the github action to compile bitwuzla
#1062: First try with the github action to compile bitwuzla

JonathanSalwan/Triton,JonathanSalwan/Triton,JonathanSalwan/Triton,JonathanSalwan/Triton,JonathanSalwan/Triton