Skip to content
continuous integration

bump #1065

Sign in to view logs

bump

bump #1065

Triggered via push August 11, 2023 15:05
@riccardobrascariccardobrasca
pushed 67fb3e1
master
Status Success
Total duration 28m 16s
Artifacts 1
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

build.yml

on: push
Build flt-regular
14m 26s
Build flt-regular
Cancel previous runs on branch
5s
Cancel previous runs on branch
Stats for flt-regular
10s
Stats for flt-regular
Lint flt-regular
1m 39s
Lint flt-regular
Update lean-3.3x branch
8s
Update lean-3.3x branch
deploy
13m 29s
deploy
Fit to window
Zoom out
Zoom in

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-67fb3e1 Expired
723 MB