Skip to content
ShellCheck

feat: use lake manifest to determine mathlib dependency #211

Sign in to view logs

feat: use lake manifest to determine mathlib dependency

feat: use lake manifest to determine mathlib dependency #211

Triggered via pull request August 18, 2024 12:49
@austinletsonaustinletson
synchronize #88
82-use-the-lake-manifest-to-determine-mathlib-dependency
Status Success
Total duration 20s
Artifacts –

shellcheck.yml

on: pull_request
lint
9s
lint
Fit to window
Zoom out
Zoom in