Merge minimum dictionary

Merge pull request #58 from amorphobia/fix_sync #12

Sign in to view logs

Summary
Jobs
- merge
Run details
- Usage
- Workflow file

Triggered via push October 12, 2023 05:44

reaink

master

Status Success

Total duration 15s

Artifacts –

min.yml

on: push