Elixir CI

Fix Github Actions and use PropEr github revision #168

Annotations

1 error and 6 warnings

Process completed with exit code 1.

Logger.warn/1 is deprecated. Use Logger.warning/2 instead

Application.get_env/2 is discouraged in the module body, use Application.compile_env/3 instead

use Bitwise is deprecated. import Bitwise instead

:cover.compile_beam_directory/1 is undefined (module :cover is not available or is yet to be defined)

:cover.start/0 is undefined (module :cover is not available or is yet to be defined)