.github/workflows/nix.yml

Update src/core/DY.Core.Trace.Manipulation.fst #377

Sign in to view logs

Summary
Jobs
- Nix
Run details
- Usage
- Workflow file

Triggered via push October 22, 2024 09:38

cwaldm

cwaldm/split_invariant_lemmas

Status Success

Total duration 17m 11s

Artifacts –

nix.yml

on: push