Commit 0c28d261 authored by asynchronous rob's avatar asynchronous rob
Browse files

use proof filename from environment

parent 4656b501
Pipeline #13099 failed with stage