Test Workspace

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

Sign in to view logs

Triggered via pull request January 4, 2024 11:23

jschneider-bensch

synchronize #385

jonas/proverif-letfun-macros

Status Success

Total duration 2m 38s

Artifacts –

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

test.yml

on: pull_request

Matrix: test-workspace