Verify build

Merge branch 'main' into monoid_ #118

Sign in to view logs

Summary
Jobs
- Build ArkLib
Run details
- Usage
- Workflow file

Triggered via push April 23, 2024 13:40

Pushkarm029

monoid_

Status Success

Total duration 5m 25s

Artifacts –

build.yml

on: push