oops #120236
build.yml
on: push
Build mathlib
14m 28s
Lint style
1m 13s
Cancel Previous Runs (CI)
3s
Post-CI job
8s
Annotations
1 warning
Build mathlib
Node.js 12 actions are deprecated. Please update the following actions to use Node.js 16: actions/upload-artifact@v2. For more information see: https://github.blog/changelog/2022-09-22-github-actions-all-actions-will-begin-running-on-node16-instead-of-node12/.
|
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
precompiled-mathlib-3.51.1-ca4f2896
Expired
|
548 MB |
|