CI

Merge pull request #2 from JuliaReach/schillic/prepare #3

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Julia 1 - ubuntu-latest - x64 - push	11m 16s
Julia 1 - ubuntu-latest - x64 - push	6m 0s
	17m 16s