Adapt to coq/coq#19361 (libobject export object type change) #2752
build.yml
on: pull_request
Opam dev install
11m 41s
client-compile
16s
Nix Flake Check
1m 0s
Matrix: Nix
Matrix: build
Annotations
13 warnings