When make fixes, make sure fix is used #240

Job	Run time
Prepare Tests	1m 35s
Run tests (HereAround MartinsOscarTutorials.jl master PolynomialRings)	1m 45s
Run tests (HereAround MartinsOscarTutorials.jl master PolyhedralGeometryInOSCAR)	1m 28s
Run tests (HereAround MartinsOscarTutorials.jl master ToricGeometryInOSCAR)	2m 35s
Run tests (HereAround MartinsOscarTutorials.jl master FTheoryToolsInOSCAR)	1m 51s
Run tests (HechtiDerLachs OscarTutorials main elliptic_fibrations_and_covered_schemes)	1m 45s
Run tests (thofma HeckeTutorials.jl master quadratic_forms)	1m 22s
Run tests (gdanielea intersectionproductcurve main Intersection_cartesian_product_curve)	1m 53s
Run tests (oscar-system OSCARBinder master pi_piprime_generation)	1m 32s
Run tests (oscar-system OSCARBinder master rubik)	2m 7s
Run tests (oscar-system OSCARBinder master Hecke)	2m 15s
Run tests (oscar-system OSCARBinder master L34_extensions_in_M)	1m 23s
Run tests (oscar-system OSCARBinder master BinomialIdeals)	1m 21s
	22m 52s

Provide feedback