Merge PR #1417: Clarify about `is_sign_positive` #3272

Triggered via push October 18, 2024 16:11

master

Status Success

Total duration 47s

Artifacts 1

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

main.yml

on: push

Produced during runtime

Name	Size	Digest
github-pages Expired	20.8 MB	`sha256:26dc75be51a5b364a6b75c8c2297b69c0b10a460de7ab5ea692b1ba4a9ac3f1a`