Skip to content
Snippets Groups Projects

Forward compatibility fixes for https://gitlab.mpi-sws.org/iris/stdpp/-/merge_requests/555

Passed
Robbert Krebbers created pipeline for commit 5e156c9b
, finished
For master
branch
1 job 6 minutes 29 seconds, queued for 3 seconds