Stowage/SparsePostQuantumRatchet
2
0
Fork 0
mirror of https://github.com/signalapp/SparsePostQuantumRatchet.git synced 2025-10-19 14:03:16 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Run proverif proofs in GitHub actions.

Browse source
This commit is contained in:
gram-signal 2025-06-04 09:13:47 -07:00 • committed by GitHub
parent 2d836ec9bd
commit d6c1073468
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 22 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

22
.github/workflows/proverif.yml vendored Normal file
View file

@ -0,0 +1,22 @@
name: proverif
on:
push:
jobs:
proofs:
runs-on: "ubuntu-latest"
steps:
- uses: actions/checkout@v4
- run: sudo apt-get install -y opam libgtk2.0-dev
- run: opam init
- run: opam install -y proverif
- name: proverif proofs
run: |
eval $(opam env)
proverif -lib cryptolib.pvl spqr-cka.pv
proverif -lib cryptolib.pvl spqr-dr.pv
working-directory: ./proofs/proverif