Skip to content
Proof commit

Update doc with changes to numeric type propagation #209

Sign in to view logs

Update doc with changes to numeric type propagation

Update doc with changes to numeric type propagation #209

Triggered via pull request January 16, 2024 11:16
@jkammererjkammerer
synchronize #79
jkammerer-numeric-changes
Status Success
Total duration 1m 1s
Artifacts –

proof.yaml

on: pull_request
build
52s
build
Fit to window
Zoom out
Zoom in