Adapt to coq/coq#19361 (libobject export object type change) #2751
build.yml
on: pull_request
Opam dev install
11m 9s
client-compile
15s
Nix Flake Check
1m 8s
Matrix: Nix
Matrix: build
Annotations
11 errors and 13 warnings