feat: update to v4.11.0-rc2 #28
bergmannjgAnnotations
2 warnings
|
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']
|
|
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']
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
github-pages
Expired
|
3.54 MB |
|