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
Scraping takes place every day. If things needs to be added a PR is created. If the PR isn't merged and scraping finds a different set of changes the next day, it will attempt to create a new PR and fail.
Scraping takes place every day. If things needs to be added a PR is created. If the PR isn't merged and scraping finds a different set of changes the next day, it will attempt to create a new PR and fail.
See: https://github.com/ocaml/ocaml.org/actions/workflows/scrape.yml
The text was updated successfully, but these errors were encountered: