Opposite monoidal categories and related duality · the1lab/1lab@f9fba74

Re-run triggered January 2, 2026 17:48

plt-amy

#578

jajaperson:main

Status Success

Total duration 2m 21s

Artifacts 1

preview.yml

on: pull_request

1 warning

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

Produced during runtime

Name	Size	Digest
pr-preview	10.9 MB	`sha256:b614d392507e22fac3a5257186fe4eb93779bf32306fdb246fa93373844ce51d`