1. github
2. ocaml
3. opam-repository
4. 641bad

(not at the head of any monitored branch or PR)

Testing in progress...

Summary of errors

• (lint) (failed)
  • Error in alt-ergo.2.2.0: warning 62: License doesn't adhere to the SPDX standard, see https://spdx.org/licenses/ : "OCamlPro Non-Commercial License"
  • Error in alt-ergo.2.1.0: warning 62: License doesn't adhere to the SPDX standard, see https://spdx.org/licenses/ : "OCamlPro Non-Commercial License"
  • Error in alt-ergo.2.0.0: warning 62: License doesn't adhere to the SPDX standard, see https://spdx.org/licenses/ : "OCamlPro Non-Commercial License"
  • Error in alt-ergo.1.30: warning 37: Missing field 'dev-repo'
  • Error in alt-ergo.1.01: warning 37: Missing field 'dev-repo'
  • Error in alt-ergo.0.99.1: warning 37: Missing field 'dev-repo'
  • Error in alt-ergo.0.95.2: warning 37: Missing field 'dev-repo'

Main results

• (analysis) (passed)
• (lint) (failed)
  • Error in alt-ergo.2.2.0: warning 62: License doesn't adhere to the SPDX standard, see https://spdx.org/licenses/ : "OCamlPro Non-Commercial License"
  • Error in alt-ergo.2.1.0: warning 62: License doesn't adhere to the SPDX standard, see https://spdx.org/licenses/ : "OCamlPro Non-Commercial License"
  • Error in alt-ergo.2.0.0: warning 62: License doesn't adhere to the SPDX standard, see https://spdx.org/licenses/ : "OCamlPro Non-Commercial License"
  • Error in alt-ergo.1.30: warning 37: Missing field 'dev-repo'
  • Error in alt-ergo.1.01: warning 37: Missing field 'dev-repo'
  • Error in alt-ergo.0.99.1: warning 37: Missing field 'dev-repo'
  • Error in alt-ergo.0.95.2: warning 37: Missing field 'dev-repo'