Skip to content
ShellCheck

fix: add lakefile.tom detection to detect_mathlib.sh (#9) #22

Sign in to view logs

fix: add lakefile.tom detection to detect_mathlib.sh (#9)

fix: add lakefile.tom detection to detect_mathlib.sh (#9) #22

Triggered via push May 11, 2024 13:52
@austinletsonaustinletson
pushed 8b3eddb
main
Status Success
Total duration 20s
Artifacts –

shellcheck.yml

on: push
lint
10s
lint
Fit to window
Zoom out
Zoom in