.github/workflows/nix.yml

add more lemmas about `fmap_trace` and `event_exists` etc #332

Sign in to view logs

Summary
Jobs
- Nix
Run details
- Usage
- Workflow file

Triggered via push October 14, 2024 12:31

TWal

twal/more_trace_

Status Success

Total duration 22m 44s

Artifacts –

nix.yml

on: push