Surface floating-point operation errors in Github CI#49

Merged

danielhollas merged 2 commits into

Jan 4, 2021

Commits on Dec 21, 2020

Exclude mini.dat from .gitignore, needed for tests
danielhollas
committed

Commits on Dec 27, 2020

Trap floating point operation issues in Github CI
danielhollas
committed