Skip to content
PR Preview

Functorial factorisation systems and co. #1425

Sign in to view logs

Functorial factorisation systems and co.

Functorial factorisation systems and co. #1425

Triggered via pull request January 16, 2026 12:58
@plt-amyplt-amy
synchronize #557
aliao/factorisations
Status Success
Total duration 5m 15s
Artifacts 1

preview.yml

on: pull_request
pr-preview
5m 12s
pr-preview
Fit to window
Zoom out
Zoom in

Annotations

1 warning
pr-preview
No push credentials found. Ignoring the 'useDaemon' option.

Artifacts

Produced during runtime
Name Size Digest
pr-preview
11 MB
sha256:6f3cf71854764c2bd3b74633d154bbea4574ca158c61f56674e926d442427a20