Makefile CI

VCG scaffolding for the MemCpy proof #789

Sign in to view logs

Triggered via push August 19, 2024 22:21

shigoel

memcpy

Status Success

Total duration 7m 8s

Artifacts –

makefile.yml

on: push

Matrix: build