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

Closed Pierre Roux requested to merge proux/stdpp:coq_18928 into master 1 year ago

Status	Pipeline	Created by	Stages
Failed 00:03:51 1 year ago	Adapt to https://github.com/coq/coq/pull/18928 #100087 549 2906eb6f latest merge request fork		Stage: build	Download artifacts No artifacts found
0

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