Skip to content
Proof commit

Update doc with changes to numeric type propagation #205

Sign in to view logs

Update doc with changes to numeric type propagation

Update doc with changes to numeric type propagation #205

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

proof.yaml

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

Artifacts

Produced during runtime
Name Size
github-pages Expired
4.75 MB