Skip to content
aarch64 Toolchain

rename flatzinc backend to cpsatlp #922

Sign in to view logs

rename flatzinc backend to cpsatlp

rename flatzinc backend to cpsatlp #922

Triggered via push August 30, 2023 15:55
@lperronlperron
pushed 5156459
main
Status Success
Total duration 54m 33s
Artifacts –

aarch64_toolchain.yml

on: push
Matrix: aarch64
Fit to window
Zoom out
Zoom in