Skip to content
Test Generated Java

switch GarageDoor to LeakageSemantics #5624

Sign in to view logs

switch GarageDoor to LeakageSemantics

switch GarageDoor to LeakageSemantics #5624

Triggered via pull request February 8, 2025 01:06
@JasonGrossJasonGross
synchronize #2009
OwenConoly:master
Status Success
Total duration 56s
Artifacts 1

java.yml

on: pull_request
test-java
46s
test-java
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
fiat-javadoc
75.4 KB
sha256:6361436552b4edf54c38177e62df3e7408c7c5441c61e7ef848a3f3469d7a148