Adapt to https://github.com/coq/coq/pull/18224 (!536) · Merge requests · Iris / stdpp

Merged Pierre Roux requested to merge proux/stdpp:coq_18224 into master 1 year ago

Status	Pipeline	Stages
Passed 00:05:01 1 year ago	Adapt to https://github.com/coq/coq/pull/18224 #96081 536 888dbdc9	Stage: build	Download artifacts No artifacts found
Passed 00:05:12 1 year ago	Adapt to https://github.com/coq/coq/pull/18224 #96040 536 9f7181d5	Stage: build	Download artifacts No artifacts found
Passed 00:21:16 1 year ago	Adapt to https://github.com/coq/coq/pull/18224 #94760 536 1c4a94fc	Stage: build	Download artifacts No artifacts found

Adapt to https://github.com/coq/coq/pull/18224