initial commit #1
bergmannjgAnnotations
2 warnings
|
build
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
build
Unexpected input(s) 'lint-module', valid inputs are ['auto-config', 'build', 'test', 'lint', 'build-args', 'use-mathlib-cache', 'check-reservoir-eligibility', 'lean4checker', 'use-github-cache', 'lake-package-directory']
|