make binder types explicit · leanprover-community/leanprover-community.github.io@b322748

Triggered via push February 2, 2026 14:04

fpvandoorn

style-explicit-types

Status Success

Total duration 23m 30s

Artifacts 1

build.yml

on: push

Produced during runtime

Name	Size	Digest
site	5.05 MB	`sha256:3cd503b25ef5b43c94c72b4fb668deac11c5e29a576abf61417dda585b46f6ad`