Nix

Add functional correctness proofs for AArch64-optimized NTT and invNTT in HOL Light #133

Sign in to view logs

Triggered via pull request January 28, 2025 09:44

synchronize #662

hol_light

Status Success

Total duration 45m 40s

Artifacts –

nix.yml

on: pull_request

Matrix: develop_environment

Annotations

1 warning

nix setup test (nixos/nix:2.6.1, nix via native)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636