Thanks, I forgot about that.
For anybody else who is looking: https://nixbld.m-labs.hk/jobset/artiq/zynq-beta
-> pick latest build number, no matter if some of the jobs failed
-> Still Succeeding Jobs
-> kasli_soc-master-sd
and kasli_soc-satellite-sd
-> check that System: x86_64-linux