Skip to content
.github/workflows/nix.yml

fix: strengthen parent_hash_implies_event theorem #126

Sign in to view logs

fix: strengthen parent_hash_implies_event theorem

fix: strengthen parent_hash_implies_event theorem #126

Triggered via push October 28, 2024 08:46
@TWalTWal
pushed 989bcd8
pre-main
Status Cancelled
Total duration 12m 47s
Artifacts –

nix.yml

on: push
Nix
3m 29s
Nix
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Nix
The run was canceled by @TWal.
Nix
The operation was canceled.