Commit 0a4ac362 authored by Robbert Krebbers's avatar Robbert Krebbers
Browse files

Bump stdpp and fix the CI (hopefully).

parent 56061375
Pipeline #6627 passed with stages
in 4 minutes and 27 seconds