chore(*): add mathlib4 synchronization comments (#18992) #6350
bors.yml
on: push
Build mathlib
40m 29s
Lint style
14s
Cancel Previous Runs (CI)
5s
Post-CI job
10s
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.50.3-bd15ff41b
Expired
|
949 MB |
|