PR Preview

Beck-Chevalley conditions #900

Triggered via pull request February 22, 2025 12:13

plt-amy

synchronize #466

beck-chevalley

Status Success

Total duration 1m 23s

Artifacts 1

preview.yml

on: pull_request

1 warning

No push credentials found. Ignoring the 'useDaemon' option.

Produced during runtime

Name	Size
pr-preview	9.87 MB