Build lava

feat: add packageManager #18

Sign in to view logs

Summary
Jobs
- build
Run details
- Usage
- Workflow file

Triggered via push June 17, 2024 13:57

Dafnik

1.7.4-lava-20240617155747

Status Success

Total duration 11m 38s

Artifacts –

build-lava.yml

on: push