Skip to content

chore: Update mpfr version to 4.2.2. #11

chore: Update mpfr version to 4.2.2.

chore: Update mpfr version to 4.2.2. #11

Triggered via push February 3, 2026 17:27
Status Success
Total duration 47s
Artifacts

draft.yml

on: push
release  /  update_release_draft
42s
release / update_release_draft
Fit to window
Zoom out
Zoom in

Annotations

4 warnings
release / update_release_draft
"pull_request_target.edited" is not a known webhook name (https://developer.github.com/v3/activity/events/types/)
release / update_release_draft
"pull_request_target.synchronize" is not a known webhook name (https://developer.github.com/v3/activity/events/types/)
release / update_release_draft
"pull_request_target.reopened" is not a known webhook name (https://developer.github.com/v3/activity/events/types/)
release / update_release_draft
"pull_request_target.opened" is not a known webhook name (https://developer.github.com/v3/activity/events/types/)