Skip to content
.github/workflows/zulip_emoji_awaiting_author.yaml

feat: The finite product of semi-rings (in terms of measure theory) is a semi-ring. #16276

Sign in to view logs

feat: The finite product of semi-rings (in terms of measure theory) is a semi-ring.

feat: The finite product of semi-rings (in terms of measure theory) is a semi-ring. #16276

Triggered via pull request May 2, 2025 05:54
@pfaffelhpfaffelh
unlabeled #22714
pfaffelh_SemiringPi
Status Success
Total duration 15s
Artifacts –

zulip_emoji_awaiting_author.yaml

on: pull_request
set_pr_emoji
7s
set_pr_emoji
Fit to window
Zoom out
Zoom in
⚡