Merge pull request #1605 from eikek/update/doobie-core-1.0.0-RC7 · eikek/sharry@67c3237

Triggered via push February 9, 2025 06:17

master

Status Success

Total duration 22s

Artifacts –

release-drafter.yml

on: push

4 warnings

"pull_request_target.opened" is not a known webhook name (https://developer.github.com/v3/activity/events/types/)

"pull_request_target.reopened" is not a known webhook name (https://developer.github.com/v3/activity/events/types/)

"pull_request_target.synchronize" is not a known webhook name (https://developer.github.com/v3/activity/events/types/)

"pull_request_target.edited" is not a known webhook name (https://developer.github.com/v3/activity/events/types/)