Shon Feder
Shon Feder
When new package releases encounter revdeps errors, it can be really time consuming (and probably pretty unreliable) to try to audit the failures to see if the build/test failures have...
As per https://github.com/ocurrent/opam-repo-ci/issues/378, we removed the part of name collision detection that used a Levenshtein distance. We found this was not a helpful metric, and it only gave false positives....
So long as we have a GitHub based publication process, there some messages we will want to post directly on PRs. This topic has come up in several places, most...
As per https://github.com/ocaml/opam-repository/wiki/PR-checks#for-any-additions, one of the manual checks opam repo maintainers currently are meant to perform is validating that URLs (e.g., to the project homepage) are valid. This is not...
When I attended my orientation meeting to volunteer for the CoC team, as per https://github.com/ocaml/infrastructure/issues/166, we learned that no one of the CoC team seems to have admin perms of...
Hello, @pqwy! Notty is a really lovely library, and we are lucky to have it ❤. Thank you for all the work that has gone into it! Would you be...
## Context This is a followup to https://github.com/ocaml/ocaml/pull/14077 and benefits from some patient explanation by @nojb. The documentation currently states that alerts are only reported in *signatures*: > Since OCaml...
@mseri reported that these two packages are failing in CI revdeps tests due to breaking changes in `ocaml-compiler-libs`. This was caught but the following revdeps tests: - https://opam.ci.ocaml.org/github/ocaml/opam-repository/commit/fee7f3fbdd0250a19e35720bb55a202b18069834/variant/compilers,5.3,base.v0.17.3,revdeps,boltzgen.0.9 - https://opam.ci.ocaml.org/github/ocaml/opam-repository/commit/fee7f3fbdd0250a19e35720bb55a202b18069834/variant/compilers,5.3,base.v0.17.3,revdeps,ppxx.2.5.0...
Similar to https://github.com/ocaml/opam-repository/pull/26992, I think we should move most of the rest of the constant from the Wiki into the repo. Here are the benefits I expect: - Currently there...
This issue is to address @ejgallego's question at https://github.com/Deducteam/lambdapi/issues/1229#issuecomment-2810279471 While there is existing documentation about packaging, publishing packages, and working with the CI results on package publication PRs, there is...