"git-rts@gitlab.mpi-sws.org:gpirlea/iris.git" did not exist on "0dbb90329ac1a8f0cfb654914a2da6062787d8cb"
Generalize `gset_to_propset` to `set_to_propset` for any SemiSet.
Passed
Robbert Krebbers
created pipeline for commit
809e0d1d
, finished
For master
8 minutes 4 seconds, queued for 2 seconds