ci: check dialyzer with option plt #346
Job | Run time |
---|---|
8s | |
3m 10s | |
2m 36s | |
3m 3s | |
2m 48s | |
2m 40s | |
2m 36s | |
2m 50s | |
2m 39s | |
2m 50s | |
2m 47s | |
2m 40s | |
2m 42s | |
2m 49s | |
2m 37s | |
2m 36s | |
2m 36s | |
3m 2s | |
47m 9s |
Job | Run time |
---|---|
8s | |
3m 10s | |
2m 36s | |
3m 3s | |
2m 48s | |
2m 40s | |
2m 36s | |
2m 50s | |
2m 39s | |
2m 50s | |
2m 47s | |
2m 40s | |
2m 42s | |
2m 49s | |
2m 37s | |
2m 36s | |
2m 36s | |
3m 2s | |
47m 9s |