Build lava

Merge pull request #110 from DatepollSystems/layout-v2 #10

Sign in to view logs

Summary
Jobs
- build
Run details
- Usage
- Workflow file

Triggered via push May 30, 2024 15:31

Dafnik

1.7.3-lava-20240530173126

Status Success

Total duration 11m 23s

Artifacts –

build-lava.yml

on: push