feat: require disclosure of AI use in PR description (#767) · leanprover-community/leanprover-community.github.io@a15f4c1

Triggered via push January 27, 2026 12:13

lean4

Status Success

Total duration 22m 42s

Artifacts 1

build.yml

on: push

Produced during runtime

Name	Size	Digest
site	5.05 MB	`sha256:e8eff79b8ed5b35a320dfe246d68871a5f239b5198ae8172b6c02e98887c7b84`