Skip to content
Triggered via push September 29, 2023 04:00
Status Success
Total duration 8m 27s
Artifacts 1

build.yml

on: push
Build lean-liquid
3m 43s
Build lean-liquid
Cancel previous runs on branch
5s
Cancel previous runs on branch
Stats for lean-liquid
9s
Stats for lean-liquid
Lint lean-liquid
4m 31s
Lint lean-liquid
Test liquid_tensor_experiment is sorry-free
1m 2s
Test liquid_tensor_experiment is sorry-free
Update lean-3.3x branch
11s
Update lean-3.3x branch
Fit to window
Zoom out
Zoom in

Annotations

14 warnings
Cancel previous runs on branch
The following actions uses node12 which is deprecated and will be forced to run on node16: styfle/cancel-workflow-action@0.9.0. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
Stats for lean-liquid
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/
Build lean-liquid
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, 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 lean-liquid
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 lean-liquid
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 lean-liquid: src/thm95/constants/bounds.lean#L74
/home/lean/actions-runner/_work/lean-liquid/lean-liquid/src/thm95/constants/bounds.lean:74:8: declaration 'thm95.universal_constants.factor_sum' uses sorry
Build lean-liquid: src/thm95/constants/bounds.lean#L95
/home/lean/actions-runner/_work/lean-liquid/lean-liquid/src/thm95/constants/bounds.lean:95:8: declaration 'thm95.universal_constants.eg_bound_d' uses sorry
Build lean-liquid: src/thm95/constants/bounds.lean#L45
/home/lean/actions-runner/_work/lean-liquid/lean-liquid/src/thm95/constants/bounds.lean:45:8: declaration 'thm95.universal_constants.factor_proj' uses sorry
Build lean-liquid: src/thm95/constants/bounds.lean#L192
/home/lean/actions-runner/_work/lean-liquid/lean-liquid/src/thm95/constants/bounds.lean:192:0: declaration 'thm95.universal_constants.doubly_exponential_K' uses sorry
Build lean-liquid: src/thm95/constants/bounds.lean#L107
/home/lean/actions-runner/_work/lean-liquid/lean-liquid/src/thm95/constants/bounds.lean:107:0: declaration 'thm95.universal_constants.eg_κ'_le_one' uses sorry
Build lean-liquid: src/thm95/constants/bounds.lean#L80
/home/lean/actions-runner/_work/lean-liquid/lean-liquid/src/thm95/constants/bounds.lean:80:8: declaration 'thm95.universal_constants.eg_factor_d' 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/
Test liquid_tensor_experiment is sorry-free
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/download-artifact@v2, actions/setup-python@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
Lint lean-liquid
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/

Artifacts

Produced during runtime
Name Size
precompiled-lean-liquid-3.48.0-888512e Expired
716 MB