Skip to content
Proof commit

Update doc with changes to numeric type propagation #200

Sign in to view logs

Update doc with changes to numeric type propagation

Update doc with changes to numeric type propagation #200

Triggered via push January 16, 2024 11:07
@jkammererjkammerer
pushed 02ee412
jkammerer-numeric-changes
Status Success
Total duration 1m 1s
Artifacts 1

proof.yaml

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

Artifacts

Produced during runtime
Name Size
github-pages Expired
4.75 MB