CI

proof/Makefile: declare InfoFlowCBase dependencies #3100

Sign in to view logs

Triggered via push July 8, 2024 00:58

lsf37

master

Status Success

Total duration 35s

Artifacts –

push.yml

on: push