CI

Merge pull request #435 from mdon/dev #1152

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Type Checking (Dialyzer)	5m 48s
Dependency Audit	20s
Code Quality Checks	43s
Test Suite	3m 15s
Compilation Warnings	3m 20s
CI Summary	2s
	13m 28s