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

Run time

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