Nix

Workaround extraction issues #32

Sign in to view logs

Summary
Jobs
- nix
Run details
- Usage
- Workflow file

Triggered via pull request February 11, 2025 19:39

jschneider-bensch

synchronize #139

jonas/proverif-key-schedule

Status Failure

Total duration 13m 53s

Artifacts –

nix.yml

on: pull_request

Annotations

1 error

Process completed with exit code 1.