Build Lean project and deploy docs

feat(ErdosProblems): 1139 #4893

Sign in to view logs

Triggered via pull request January 25, 2026 12:07

danielchin

opened #1890

danielchin:erdos-1139

Status Success

Total duration 25m 42s

Artifacts –

build-and-docs.yml

on: pull_request