#1062: 4th try with the github action to compile bitwuzla
#1062: 4th try with the github action to compile bitwuzla

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