Skip to content
ShellCheck

fix: add lakefile.tom detection to detect_mathlib.sh #21

Sign in to view logs

fix: add lakefile.tom detection to detect_mathlib.sh

fix: add lakefile.tom detection to detect_mathlib.sh #21

Run time

Learn about OS pricing on GitHub Actions
Job Run time
lint
11s
11s