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
Ambre Austen Suhamy edited this page Nov 29, 2024
·
2 revisions
When releasing a new version, it may be useful to make a diff between the latest logs and the new ones, and parse them manually to check if dune is responsible for the errors.
We may also report failures to the package maintainers, but fixing them is not our responsibility.