Skip to content
Lean Action CI

Fix Opp category to use type synonym and add hom bifunctor #12

Sign in to view logs

Fix Opp category to use type synonym and add hom bifunctor

Fix Opp category to use type synonym and add hom bifunctor #12

Triggered via push October 14, 2025 06:46
@rkirovrkirov
pushed 178a7c8
main
Status Success
Total duration 8m 13s
Artifacts 1

lean_action_ci.yml

on: push
build
8m 7s
build
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
12.9 MB
sha256:a45e3e3a11baab2f16d72c76fa5b88686475ff1ed5d528eddfb7db4f7a6f5410