feat(style): avoid nonrec (#689) · leanprover-community/leanprover-community.github.io@47baa4c

Triggered via push January 30, 2026 10:29

jcommelin

lean4

Status Success

Total duration 6m 50s

Artifacts 1

build.yml

on: push

Produced during runtime

Name	Size	Digest
site	5.05 MB	`sha256:9ded31fd9fe49439885d8ccb7f66e0972855e1150f9cd856ce57fbba8df2578c`