Makefile CI

chore: install cadical in CI (#58) #2

Sign in to view logs

Summary
Jobs
- build
Run details
- Usage
- Workflow file

Triggered via push August 5, 2024 21:13

pennyannn

main

Status Success

Total duration 6m 2s

Artifacts –

makefile.yml

on: push