Commit c24c7603 authored by Ralf Jung's avatar Ralf Jung

nightly builds: use latest std++; test Coq 8.7.2 (instead of 8.7.1)

parent f06aa0e0
Pipeline #10761 passed with stage
in 3 minutes and 4 seconds