You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
in Coq we are considering requiring plugins in the CI to use the same set of compiler flags for warnings than the main Coq tree (c.f. coq/coq#9605 ), in particular, this means that the plugins should now compile warning-free, except for deprecation notices.
Note that some of the raised warnings are really fatal, [like missing match cases].
Please, try to fix OCaml warnings present in your codebase, thanks!
The text was updated successfully, but these errors were encountered:
Dear devs,
in Coq we are considering requiring plugins in the CI to use the same set of compiler flags for warnings than the main Coq tree (c.f. coq/coq#9605 ), in particular, this means that the plugins should now compile warning-free, except for deprecation notices.
Note that some of the raised warnings are really fatal, [like missing match cases].
Please, try to fix OCaml warnings present in your codebase, thanks!
The text was updated successfully, but these errors were encountered: