Build Lean project and deploy docs

feat(OEIS): A087719 #4934

Sign in to view logs

Triggered via pull request January 26, 2026 10:48

rwst

synchronize #1894

rwst:i1460

Status Success

Total duration 25m 19s

Artifacts –

build-and-docs.yml

on: pull_request