Closed valassi closed 5 days ago
This is a totally minor fix in the CI. I merge it immediately without approval.
It is not strictly needed in master, but I prefer to keep the CIs the same while I try to merge wth master_june24
This is a totally minor fix in the CI. I merge it immediately without approval.
It is not strictly needed in master, but I prefer to keep the CIs the same while I try to merge wth master_june24
The CI has the 6 expected failures from #872 and #826. Self-merging, this is a trivial change in the CI
Port to master a CI fix (tmad xsec tolerance increase for #889) from master_june24 work in WIP PR #882