Skip to content
ShellCheck

feat: use lake manifest to determine mathlib dependency #214

Sign in to view logs

feat: use lake manifest to determine mathlib dependency

feat: use lake manifest to determine mathlib dependency #214

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

shellcheck.yml

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