Skip to content
Proof commit

Update doc with changes to numeric type propagation #204

Sign in to view logs

Update doc with changes to numeric type propagation

Update doc with changes to numeric type propagation #204

Triggered via push January 16, 2024 11:12
@jkammererjkammerer
pushed 5c81df5
jkammerer-numeric-changes
Status Success
Total duration 1m 10s
Artifacts –

proof.yaml

on: push
build
59s
build
Fit to window
Zoom out
Zoom in