.github/workflows/nix.yml

fix: strengthen `parent_hash_implies_event` theorem #128

Sign in to view logs

Summary
Jobs
- Nix
Run details
- Usage
- Workflow file

Triggered via push October 28, 2024 09:03

TWal

pre-main

Status Success

Total duration 17m 5s

Artifacts –

nix.yml

on: push