Makefile CI

Merge pull request #24 from FILCAT/feat/proofsets #30

Sign in to view logs

Summary
Jobs
- build
Run details
- Usage
- Workflow file

Triggered via push September 6, 2024 15:16

ZenGround0

main

Status Success

Total duration 20s

Artifacts –

makefile.yml

on: push