Merge pull request #809 from proux01/coq_19310 #2801
build.yml
on: push
Opam dev install
12m 27s
client-compile
14s
Nix Flake Check
55s
Matrix: Nix
Matrix: build
Annotations
13 warnings