Skip to content
Build Java

Prove equivalence of implementation and model of UniformPowerOfTwo (#77) #169

Sign in to view logs

Prove equivalence of implementation and model of UniformPowerOfTwo (#77)

Prove equivalence of implementation and model of UniformPowerOfTwo (#77) #169

Triggered via push October 4, 2023 12:54
@jtristanjtristan
pushed fd3fd40
main
Status Success
Total duration 32s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

build_java.yml

on: push
build-java
21s
build-java
Fit to window
Zoom out
Zoom in