CI

Extend hax driver for ProVerif #208

Sign in to view logs

Triggered via pull request February 8, 2024 08:26

jschneider-bensch

opened #93

jonas/hax-driver-proverif

Status Failure

Total duration 22m 48s

Artifacts –

ci.yml

on: pull_request

Matrix: test

Matrix: benchmark