One sorry removed in 1.1 as an example · rkirov/category-theory-in-context-lean@0c3d7da

Triggered via push November 16, 2025 19:39

rkirov

solutions

Status Success

Total duration 12m 59s

Artifacts 1

lean_action_ci.yml

on: push

Produced during runtime

Name	Size	Digest
github-pages Expired	13.3 MB	`sha256:1d3afd1781b46d3ec5ebf4dfd79d47284d8d92e4eba5c8be3ffcef189cf9d88a`