PR Preview

defn: initiality implies induction #774

Triggered via pull request December 19, 2024 18:04

plt-amy

synchronize #444

Status Success

Total duration 1m 48s

Artifacts 1

preview.yml

on: pull_request

2 warnings

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

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

Produced during runtime

Name	Size
pr-preview	9.27 MB