switch GarageDoor to LeakageSemantics #5598

Triggered via pull request January 31, 2025 04:14

OwenConoly

opened #2009

OwenConoly:master

Status Success

Total duration 43s

Artifacts 1

java.yml

on: pull_request

Produced during runtime

Name	Size
fiat-javadoc	75.3 KB