Skip to content

[pull] main from webrecorder:main#217

Merged
pull[bot] merged 1 commit intojustarmadillo:mainfrom
webrecorder:main
Mar 12, 2026
Merged

[pull] main from webrecorder:main#217
pull[bot] merged 1 commit intojustarmadillo:mainfrom
webrecorder:main

Conversation

@pull
Copy link
Copy Markdown

@pull pull bot commented Mar 12, 2026

See Commits and Changes for more details.


Created by pull[bot] (v2.0.0-alpha.4)

Can you help keep this open source service alive? 💖 Please sponsor : )

- Fix #993 
- fatal() and interrupt() give false impression that fatal or interrupt
happens right away, instead of in a promise after state is updated. Make
them async to clear this up.
- most uses of these functions are already in async functions, add
'void' elsewhere to keep current behavior (mostly in arg validation)
- fix race condition where state could be changed after a call to
fatal() or interrupt() as they call async function
- Also add CrawlStatus type for clarity of available types
- bump to 1.12.2
@pull pull bot locked and limited conversation to collaborators Mar 12, 2026
@pull pull bot added the ⤵️ pull label Mar 12, 2026
@pull pull bot merged commit 0a5ed51 into justarmadillo:main Mar 12, 2026
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant