Skip to content
Autolabel PRs

fix: provide explicit map_add proof for triangleFunctor.Additive #75

Sign in to view logs

fix: provide explicit map_add proof for triangleFunctor.Additive

fix: provide explicit map_add proof for triangleFunctor.Additive #75

Triggered via push February 12, 2026 05:48
@kim-emkim-em
pushed 4e534cb
simps-respects-non-exposed-body
Status Skipped
Total duration 1s
Artifacts –

add_label_from_diff.yaml

on: push
Add topic label
Add topic label
Fit to window
Zoom out
Zoom in
⚡