PR Preview

Joint monomorphisms #801

Triggered via pull request January 6, 2025 05:15

TOTBWF

synchronize #440

joint-monos

Status Success

Total duration 1m 27s

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.54 MB