Skip to content
Snippets Groups Projects

Bump dependecy: actual bump (fix opam file)

Passed
iris-dev created pipeline for commit 9f368673
, finished
12 minutes 35 seconds, queued for 2 seconds