Closed jmid closed 7 months ago
CI summary:
dune
#433Out of 44 workflows 1 failed with a genuine error
CI summary for merge to main:
threadomain
#203 Fatal error: Failed to create domain
in domain_spawntree
#428The last one should be fixed though, which may indicate erroneous CI caching.
Out of 45 workflows 3 failed - all with genuine errors
This PR updates the 5.2.0+trunk workflows to target the public
5.2.0~alpha1