Install & test

ProVerif backend: Translation of `fn`s to `letfun`s #1247

Sign in to view logs

Summary
Jobs
- nix-action
Run details
- Usage
- Workflow file

Triggered via pull request January 4, 2024 11:23

jschneider-bensch

synchronize #385

jonas/proverif-letfun-macros

Status Success

Total duration 14m 23s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

install_and_test.yml

on: pull_request