Forward compatibility fix for https://gitlab.mpi-sws.org/iris/stdpp/-/merge_requests/555
Passed
Robbert Krebbers
created pipeline for commit
db2b13d2
, finished
For master
16 minutes 46 seconds, queued for 2 seconds