another mathlib3 bump #1068
riccardobrascabuild.yml
on: push
Build flt-regular
14m 1s
Cancel previous runs on branch
3s
Stats for flt-regular
1m 4s
Lint flt-regular
1m 20s
Update lean-3.3x branch
9s
deploy
12m 5s
Annotations
11 warnings
|
Cancel previous runs on branch
The following actions uses node12 which is deprecated and will be forced to run on node16: styfle/[email protected]. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
Build flt-regular
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/setup-python@v1, actions/upload-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
Build flt-regular
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
Build flt-regular
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
Build flt-regular:
src/unused/resultant/basic.lean#L80
/home/runner/work/flt-regular/flt-regular/src/unused/resultant/basic.lean:80:0:
declaration 'discriminant'_mul_X_pow_add_C_mul_X_add_C' uses sorry
|
|
Build flt-regular:
src/number_theory/kummers_lemma.lean#L17
/home/runner/work/flt-regular/flt-regular/src/number_theory/kummers_lemma.lean:17:0:
declaration 'eq_pow_prime_of_unit_of_congruent' uses sorry
|
|
Build flt-regular:
src/caseII/statement.lean#L11
/home/runner/work/flt-regular/flt-regular/src/caseII/statement.lean:11:0:
declaration 'flt_regular.caseII' uses sorry
|
|
Build flt-regular:
src/flt_regular.lean#L2
/home/runner/work/flt-regular/flt-regular/src/flt_regular.lean:2:0:
imported file '/home/runner/work/flt-regular/flt-regular/src/caseII/statement.lean' uses sorry
|
|
Update lean-3.3x branch
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
Lint flt-regular
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/download-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
deploy
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/setup-python@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
precompiled-flt-regular-3.51.1-612d442
Expired
|
719 MB |
|