feat: add BitVec multiplication simp lemmas #23627
Annotations
4 warnings
|
Set Up Nix Cache
Input 'save-always' has been deprecated with message: save-always does not work as intended and will be removed in a future release.
A separate `actions/cache/restore` step should be used instead.
See https://github.com/actions/cache/tree/main/save#always-save-cache for more details.
|
|
Setup CCache Cache
Input 'save-always' has been deprecated with message: save-always does not work as intended and will be removed in a future release.
A separate `actions/cache/restore` step should be used instead.
See https://github.com/actions/cache/tree/main/save#always-save-cache for more details.
|
|
Post Setup CCache Cache
Input 'save-always' has been deprecated with message: save-always does not work as intended and will be removed in a future release.
A separate `actions/cache/restore` step should be used instead.
See https://github.com/actions/cache/tree/main/save#always-save-cache for more details.
|
|
Post Set Up Nix Cache
Input 'save-always' has been deprecated with message: save-always does not work as intended and will be removed in a future release.
A separate `actions/cache/restore` step should be used instead.
See https://github.com/actions/cache/tree/main/save#always-save-cache for more details.
|
Set up job
2s
2s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Set up runner
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Checkout
21s
21s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Set Up Nix Cache
52s
52s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Further Set Up Nix Cache
5s
5s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Install Nix
8s
8s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Prepare CCache Cache
19s
19s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Setup CCache Cache
1m 8s
1m 8s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Further Set Up CCache Cache
3s
3s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Build
6m 8s
6m 8s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Test
2m 17s
2m 17s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Test Summary
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Build manual
57s
57s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Rebuild Nix Store Cache
9s
9s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Compute Deployment Metadata
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Publish manual to Netlify
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Fixup CCache Cache
3s
3s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Post Setup CCache Cache
1m 32s
1m 32s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Post Install Nix
1s
1s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Post Set Up Nix Cache
25s
25s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Post Checkout
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Complete job
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Loading