Remove `Formula` #1163

Job	Run time
build-docker	8m 51s
build (macos-latest)	6m 42s
build (ubuntu-latest)	6m 54s
gillian_js_tests (ubuntu-latest)	2m 1s
gillian_c2_tests (ubuntu-latest)	1m 59s
gillian_c_tests (ubuntu-latest)	6m 39s
test262 (ubuntu-latest)	35m 23s
collections-c (ubuntu-latest)	2m 33s
deploy-docs	0s
	1h 11m 2s

Provide feedback