last mathlib3 bump? #1066
riccardobrascabuild.yml
on: push
Build flt-regular
13m 38s
Cancel previous runs on branch
6s
Stats for flt-regular
13s
Lint flt-regular
1m 17s
Update lean-3.3x branch
12s
deploy
10m 34s
Annotations
1 error and 11 warnings
|
Build flt-regular
Process completed with exit code 1.
|
|
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-e827331
Expired
|
722 MB |
|