bump MC upper limit #23
clayratAnnotations
6 warnings
|
build (mathcomp/mathcomp-dev:coq-dev)
Node.js 12 actions are deprecated. Please update the following actions to use Node.js 16: actions/checkout@v2. For more information see: https://github.blog/changelog/2022-09-22-github-actions-all-actions-will-begin-running-on-node16-instead-of-node12/.
|
|
build (mathcomp/mathcomp-dev:coq-dev):
options.v#L1
Syntax "Export Set" is deprecated, use the attribute syntax
|
|
build (mathcomp/mathcomp-dev:coq-dev):
options.v#L3
The default and global localities for this command outside sections
|
|
build (mathcomp/mathcomp:1.17.0-coq-8.17)
Node.js 12 actions are deprecated. Please update the following actions to use Node.js 16: actions/checkout@v2. For more information see: https://github.blog/changelog/2022-09-22-github-actions-all-actions-will-begin-running-on-node16-instead-of-node12/.
|
|
build (mathcomp/mathcomp:1.17.0-coq-8.17):
options.v#L3
The default and global localities for this command outside sections
|
|
build (mathcomp/mathcomp:1.15.0-coq-8.15)
Node.js 12 actions are deprecated. Please update the following actions to use Node.js 16: actions/checkout@v2. For more information see: https://github.blog/changelog/2022-09-22-github-actions-all-actions-will-begin-running-on-node16-instead-of-node12/.
|