Skip to content

chore: release 1.12.0 - #77

Merged
StefanoGuerrini merged 1 commit into
mainfrom
release-please--branches--main--components--cli
Oct 30, 2026
Merged

StefanoGuerrini merged 1 commit into
mainfrom
release-please--branches--main--components--cli

Conversation

@github-actions

@github-actions github-actions Bot commented Oct 30, 2026 •

Copy link
Copy Markdown
Contributor

🤖 I have created a release beep boop

1.12.0 (2026-10-30)

Features

  • crawl: get notified by webhook when a crawl starts, completes, stops or fails (#75) (d71df97)

Bug Fixes

  • batch: stop a wait before a back-off that ends on its --timeout (#76) (090c75f)

This PR was generated with Release Please. See documentation.

@github-actions github-actions Bot changed the title chore: release 1.11.1 chore: release 1.12.0 Oct 30, 2026
@github-actions
github-actions Bot force-pushed the release-please--branches--main--components--cli branch from 3107188 to ff38885 Compare October 30, 2026 11:16
@StefanoGuerrini
StefanoGuerrini merged commit b4ed6bd into main Oct 30, 2026
5 checks passed
@StefanoGuerrini
StefanoGuerrini deleted the release-please--branches--main--components--cli branch October 30, 2026 11:28
@github-actions

Copy link
Copy Markdown
Contributor Author

🤖 Created releases:

🌻

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant