Skip to content

Add Prettify and Lint scripts for each sub-project and top level client #1317

Add Prettify and Lint scripts for each sub-project and top level client

Add Prettify and Lint scripts for each sub-project and top level client #1317

Annotations

2 errors and 1 warning

nix-dev-build (macos-latest, coq-master, dev)

failed Oct 3, 2024 in 1m 46s