Add functional correctness proofs for AArch64-optimized NTT and invNTT in HOL Light #4439
Set up 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.
Initialize containers
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.
Manual checkout
17s
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.
Run /./.github/actions/setup-os
4s
4s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
make quickcheck
27s
27s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Functional Tests
58s
58s
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 Functional Tests
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.
Post Run /./.github/actions/setup-os
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.
Stop containers
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.
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