amd64-linux

proof/Makefile: avoid links #38

Sign in to view logs

Triggered via pull request September 27, 2024 16:54

opened #19

proof_no_check_links

Status Success

Total duration 3m 4s

Artifacts –

amd64-linux.yml

on: pull_request

extract-to-easycrypt