Merge minimum dictionary

Merge pull request #52 from amorphobia/bmms #9

Sign in to view logs

Summary
Jobs
- merge
Run details
- Usage
- Workflow file

Triggered via push June 3, 2023 07:38

reaink

master

Status Success

Total duration 15s

Artifacts –

min.yml

on: push