# [2021.01.27] Releases on GitHub

Today I tried to auto-check some code with CircleCI. The code worked
perfectly on my laptop, of course, but depended on using Mace4 which
was absent in a CircleCI container. The only way to get a Mace4
binary is to compile it from the source. But compiling some piece of
software during continuous integration procedure of another seemed to
be a bad idea. So I decided to compile Mace4 in advance and to
'release' it for my fork of this marvellous tool. I mean, that's
amazing that although its author, Dr McCune, is dead for several
years already, some people use the programme! Looks like
cyber-immortality in action:)