Skip to content
Back to pull request #728

[ProVerif] Renaming / AST transformation pseudophase #2729

Sign in to view logs

[ProVerif] Renaming / AST transformation pseudophase

[ProVerif] Renaming / AST transformation pseudophase #2729

Triggered via pull request September 2, 2024 14:15
@jschneider-benschjschneider-bensch
synchronize #728
jonas/proverif-rename
Status Success
Total duration 4m 2s
Artifacts –

test.yml

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