Add functional correctness proofs for AArch64-optimized NTT and invNTT in HOL Light #4439
Set up job
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.
Run actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683
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.
native build+functest (default)
1m 28s
1m 28s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
native build+functest (C90)
15s
15s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
native build+functest (C99)
14s
14s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
native build+functest (C11)
14s
14s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
native build+functest (C17)
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 native build+functest (C11)
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 native build+functest (C99)
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 native build+functest (C90)
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 native build+functest (default)
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 actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683
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