Merge pull request #23 from zhengying-liu/master #13

Sign in to view logs

Triggered via push March 5, 2024 11:20

tirix

master

Status Success

Total duration 12s

Artifacts –

verifiers.yml

on: push

Check for duplicate jobs to avoid duplication

Test mmverify.py on set.mm

Test mmverify.py on other .mm databases (including a bad one)