Nix

Full proofs for Hacl.Spec.SHA3.Equiv.fst #58

Sign in to view logs

Summary
Jobs
- nix
Run details
- Usage
- Workflow file

Triggered via push March 15, 2024 09:16

mamonet

vec-sha3

Status Failure

Total duration 1d 12h 4m 32s

Artifacts –

nix.yml

on: push

Annotations

1 error

This request was automatically failed because there were no enabled runners online to process the request for more than 1 days.