proverif

Up versions again. #15

Sign in to view logs

Triggered via push February 20, 2026 19:44

gram-signal

improve-proofs

Status Success

Total duration 5m 6s

Artifacts –

proverif.yml

on: push