Makefile CI

VCG scaffolding for the MemCpy proof #790

Sign in to view logs

Triggered via pull request August 19, 2024 22:22

shigoel

opened #99

memcpy

Status Success

Total duration 9m 48s

Artifacts –

makefile.yml

on: pull_request

Matrix: build