Proofs

Fix comment as suggested #319

Sign in to view logs

Triggered via push January 28, 2025 20:56

main

Status Failure

Total duration 14h 19m 34s

Artifacts –

ci.yml

on: push

Matrix: proofs

Annotations

2 errors

proofs (proof/bulk_addition.saw)

Process completed with exit code 2.

proofs (proof/functional_proofs.saw)

Process completed with exit code 2.