fix(ci): version_check via env var — unblocks acl2/hol4 cron cells (#75) - #165

fix(ci): version_check via env var — unblocks acl2/hol4 cron cells (#75)#165

hyperpolymath merged 2 commits into

mainhyperpolymath/echidna:mainfrom

fix/container-ci-version-check-quotinghyperpolymath/echidna:fix/container-ci-version-check-quotingCopy head branch name to clipboard