.github/workflows/ci.yml

Change the tests target to test #328

Sign in to view logs

Summary
Jobs
- nix
- lean
Run details
- Usage
- Workflow file

Triggered via push March 11, 2024 16:50

sonmarcho

son/makefile

Status Success

Total duration 8m 58s

Artifacts –

ci.yml

on: push