wip: src/ Makefiles cleanup + workflow to check src/ with Dockerfile … #104

Sign in to view logs

Triggered via push August 8, 2024 19:40

tfaoliveira

main

Status Failure

Total duration 1m 50s

Artifacts –

amd64-linux.yml

on: push

extract-to-easycrypt

Annotations

1 error

compile-src

Process completed with exit code 2.