Skip to content

[scrape] New OCaml Planet posts#3706

Merged
cuihtlauac merged 1 commit into
mainfrom
create-pull-request/patch-scrape-planet
Jul 3, 2026
Merged

[scrape] New OCaml Planet posts#3706
cuihtlauac merged 1 commit into
mainfrom
create-pull-request/patch-scrape-planet

Conversation

@github-actions

@github-actions github-actions Bot commented Jul 2, 2026

Copy link
Copy Markdown
Contributor

New blog posts:

  • ocsigen: Why Ocsigen decided not to switch from Lwt to Eio (for now)
  • tunbury: Corrupt copies on the OpenBSD CI worker

Scraping errors:

  • mirage: Failure("Neither Atom nor RSS2 feed")
  • ocaml-book: Failure("Neither Atom nor RSS2 feed")
  • dinosaure: Failure("TLS to non-TCP currently unsupported: host=blog.osau.re endp=(Unknown "name resolution failed")")
  • emilpriver: River__Http.Status_unhandled("403 Forbidden")
  • patricoferris: Failure("Neither Atom nor RSS2 feed")

No new posts, videos, or errors.

@github-actions github-actions Bot added the scrape Anything related to data scrape label Jul 2, 2026
- ocsigen: Why Ocsigen decided not to switch from Lwt to Eio (for now)
- tunbury: Corrupt copies on the OpenBSD CI worker
@github-actions github-actions Bot force-pushed the create-pull-request/patch-scrape-planet branch from 357acec to 16af31d Compare July 3, 2026 06:52
@cuihtlauac cuihtlauac merged commit 7ccd8c6 into main Jul 3, 2026
1 check passed
@cuihtlauac cuihtlauac deleted the create-pull-request/patch-scrape-planet branch July 3, 2026 08:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

scrape Anything related to data scrape

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant