Skip to content
Back to pull request #728

[ProVerif] Renaming / AST transformation pseudophase #2312

Sign in to view logs

[ProVerif] Renaming / AST transformation pseudophase

[ProVerif] Renaming / AST transformation pseudophase #2312

Triggered via pull request June 20, 2024 11:19
@jschneider-benschjschneider-bensch
opened #728
jonas/proverif-rename
Status Success
Total duration 2m 28s
Artifacts –

test.yml

on: pull_request
no-std-lib
30s
no-std-lib
Matrix: test-workspace
Fit to window
Zoom out
Zoom in