Add description of some progress using lean-egg #702

Sign in to view logs

Summary
Jobs
- style_lint
Run details
- Usage
- Workflow file

Triggered via pull request October 2, 2024 23:39

synchronize #210

goens:lean-egg-progress-doc

Status Success

Total duration 10s

Artifacts –

lint.yml

on: pull_request