CI

Fixes #333 updated production URL references to tools.in-core.org #570

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build and Run Tests	2m 40s
docker (data)	28s
docker (dfr3)	42s
docker (hazard)	1m 37s
docker (semantics)	22s
docker (space)	34s
docker (project)	40s
	7m 3s